The marriage of effects and monads

DOI10.1145/289423.289429zbMath1428.68117OpenAlexW2084804301MaRDI QIDQ5234259

Philip Wadler

Publication date: 26 September 2019

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)

Related Items (1)

The untyped computational \(\lambda \)-calculus and its intersection type discipline

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