The marriage of effects and monads

DOI10.1145/289423.289429zbMath1370.68050OpenAlexW2084804301MaRDI QIDQ5348888

Philip Wadler

Publication date: 21 August 2017

Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/289423.289429

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (6)

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Fragmentary structure of global knowledge: constructive processes for interoperability ⋮ Control effects as a modality ⋮ Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ Hoare type theory, polymorphism and separation ⋮ Access Control in a Core Calculus of Dependency

This page was built for publication: The marriage of effects and monads