Taming effects with monadic typing

DOI10.1145/289423.289428MaRDI QIDQ5348887zbMATH OpenOpenAlexFDO

Authors Richard B. Kieburtz

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.289428

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
• The marriage of effects and monads
• The marriage of effects and monads
• The marriage of effects and monads
• scientific article; zbMATH DE number 2090722

Cited in

(18)

• The type and effect discipline
• Monadic encapsulation in ML
• Witnessing side-effects
• From control effects to typed continuation passing
• Monadic encapsulation of effects: a revised approach (extended version)
• 1ML with special effects. F-ing generativity polymorphism
• scientific article; zbMATH DE number 1231611 (Why is no real title available?)
• scientific article; zbMATH DE number 1332634 (Why is no real title available?)
• scientific article; zbMATH DE number 1479622 (Why is no real title available?)
• scientific article; zbMATH DE number 1497773 (Why is no real title available?)
• scientific article; zbMATH DE number 1497780 (Why is no real title available?)
• Polymonadic programming
• Koka: programming with row polymorphic effect types
• Taming effects with monadic typing
• The marriage of effects and monads
• Monadic state: axiomatization and type safety
• The marriage of effects and monads
• Abstract Predicates and Mutable ADTs in Hoare Type Theory

This page was built for publication: Taming effects with monadic typing

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