Monadic encapsulation of effects: a revised approach (extended version)

DOI10.1017/S0956796801004154MaRDI QIDQ3150208zbMATH OpenOpenAlexFDO

Authors Eugenio Moggi, Amr Sabry

Publication date 2001

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796801004154

zbMATH Keywords

higher-order lambda-calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1497773
• Monadic state: axiomatization and type safety
• Taming effects with monadic typing
• Taming effects with monadic typing
• Monadic encapsulation in ML

Cited in

(13)

• Monadic encapsulation in ML
• Lightweight static capabilities
• Kleene monads: handling iteration in a framework of generic effects
• Context-free session type inference
• Interpreting Localized Computational Effects Using Operators of Higher Type
• Syntax for Free: Representing Syntax with Binding Using Parametricity
• scientific article; zbMATH DE number 1231610 (Why is no real title available?)
• scientific article; zbMATH DE number 1479615 (Why is no real title available?)
• scientific article; zbMATH DE number 1497773 (Why is no real title available?)
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Compositional references for stateful functional programming
• Monadic state: axiomatization and type safety
• Region-based resource management and lexical exception handlers in continuation-passing style

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Monadic encapsulation of effects: a revised approach (extended version)

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