A Core Quantitative Coeffect Calculus
No abstract available.
Related papers
- Coeffects: a calculus of context-dependent computation ICFP 2014
- Quantitative program reasoning with graded modal types ICFP 2019
- A relational theory of effects and coeffects POPL 2022
- Elements of Quantitative Rewriting POPL 2023
- Combining effects and coeffects via grading ICFP 2016
- Quantitative static analysis of distributed systems JFP 2005
- Graded Modal Dependent Type Theory ESOP 2021
- Coeffects for sharing and mutation OOPSLA 2022