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

DOI10.1017/S0956796801004154zbMath1037.68023OpenAlexW2060662244MaRDI QIDQ3150208

Amr Sabry, Eugenio Moggi

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)

Related Items (7)

Kleene Monads: Handling Iteration in a Framework of Generic Effects ⋮ Interpreting Localized Computational Effects Using Operators of Higher Type ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Region-based resource management and lexical exception handlers in continuation-passing style ⋮ Context-Free Session Type Inference ⋮ Syntax for Free: Representing Syntax with Binding Using Parametricity ⋮ Lightweight Static Capabilities

Uses Software

• Automath

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