A Java-like Calculus with User-Defined Coeffects

被引：0

作者：

Bianchini, Riccardo ^{[1
]}

Dagnino, Francesco ^{[1
]}

Giannini, Paola ^{[2
]}

Zucca, Elena ^{[1
]}

机构：

[1] University of Genova, Italy

[2] University of Piemonte Orientale, Italy

来源：

CEUR Workshop Proceedings | 2022年 / 3284卷

关键词：

Compendex;

D O I：

23rd Italian Conference on Theoretical Computer Science, ICTCS 2022

中图分类号：

学科分类号：

摘要：

Calculations

引用

页码：66 / 78