Monadic encapsulation in ML

DOI10.1145/317636.317777MaRDI QIDQ2817709zbMATH OpenOpenAlexFDO

Authors Miley Semmelroth, Amr Sabry

Publication date 1 September 2016

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

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

Mathematics Subject Classification ID

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

Recommendations

• Taming effects with monadic typing
• Taming effects with monadic typing
• scientific article; zbMATH DE number 1497773
• Monadic encapsulation of effects: a revised approach (extended version)
• scientific article; zbMATH DE number 2090722

Cited in

(3)

• Monadic encapsulation of effects: a revised approach (extended version)
• scientific article; zbMATH DE number 1497773 (Why is no real title available?)
• Region-based resource management and lexical exception handlers in continuation-passing style

This page was built for publication: Monadic encapsulation in ML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817709)