Combining effects and coeffects via grading

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

zbMATH Keywords

effectstypescomonadsmonadsdistributive lawscategorical semanticsgradingcoeffects

Mathematics Subject Classification ID

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