A Java-like calculus with heterogeneous coeffects

DOI10.1016/j.tcs.2023.114063MaRDI QIDQ6175517

Francesco Dagnino, Paola Giannini, Elena Zucca, Riccardo Bianchini

Publication date: 18 August 2023

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

operational semanticstype systemsJava-like languages

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

A Java-like calculus with heterogeneous coeffects

Cites Work

• Session types revisited
• Coeffects
• Combining effects and coeffects via grading
• I Got Plenty o’ Nuttin’
• Syntax and Semantics of Quantitative Type Theory
• Coeffects: Unified Static Analysis of Context-Dependence
• Bounded Linear Types in a Resource Semiring
• A Core Quantitative Coeffect Calculus
• A Java-like calculus with heterogeneous coeffects

This page was built for publication: A Java-like calculus with heterogeneous coeffects