Monadic encapsulation of effects: a revised approach (extended version)
From MaRDI portal
Publication:3150208
DOI10.1017/S0956796801004154zbMath1037.68023MaRDI QIDQ3150208
Publication date: 2001
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Lightweight Static Capabilities, Kleene Monads: Handling Iteration in a Framework of Generic Effects, Interpreting Localized Computational Effects Using Operators of Higher Type, Syntax for Free: Representing Syntax with Binding Using Parametricity
Uses Software