Combining effects and coeffects via grading
From MaRDI portal
Publication:2985796
DOI10.1145/2951913.2951939zbMath1361.68037WikidataQ59447217 ScholiaQ59447217MaRDI QIDQ2985796
Flavien Breuvart, Dominic A. Orchard, Tarmo Uustalu, Marco Gaboardi, Shin-ya Katsumata
Publication date: 10 May 2017
Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://kar.kent.ac.uk/57480/1/bieffects.pdf
68N18: Functional programming and lambda calculus
18C50: Categorical semantics of formal languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, Back to futures, Relating Structure and Power: Comonadic Semantics for Computational Resources, When programs have to watch paint dry, Deciding Equations in the Time Warp Algebra, A Java-like calculus with heterogeneous coeffects, The syntactic side of autonomous categories enriched over generalised metric spaces, Resourceful program synthesis from graded linear types, Generalized bounded linear logic and its categorical semantics, Graded Hoare logic and its categorical semantics, Graded modal dependent type theory, Time warps, from algebra to algorithms