Combining effects and coeffects via grading

DOI10.1145/2951913.2951939zbMath1361.68037OpenAlexW2515656721WikidataQ59447217 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

Functional programming and lambda calculus (68N18) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (12)

Back to futures ⋮ 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 ⋮ Time warps, from algebra to algorithms ⋮ Unnamed Item ⋮ Generalized bounded linear logic and its categorical semantics ⋮ Graded Hoare logic and its categorical semantics ⋮ Graded modal dependent type theory ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources ⋮ Resourceful program synthesis from graded linear types

This page was built for publication: Combining effects and coeffects via grading