Latent Effects for Reusable Language Components

DOI10.1007/978-3-030-89051-3_11MaRDI QIDQ6488151zbMATH OpenFDO

Authors Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu

Publication date 29 March 2023

Mathematics Subject Classification ID

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

Recommendations

• Programming with algebraic effects and handlers
• Modular monadic meta-theory
• Effect handlers via generalised continuations
• Shallow effect handlers
• Handlers in action

Cites work

• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• Algebraic operations and generic effects
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Combining effects: sum and tensor
• Data types à la carte
• Do be do be do
• Fusion for free. Efficient algebraic effect handlers
• Handlers of Algebraic Effects
• Interleaving data and effects
• Lazy evaluation and delimited control
• MetaML and multi-stage programming with explicit annotations
• Modules over monads and their algebras
• Syntax and semantics for operations with scopes
• Type directed compilation of row-typed algebraic effects

This page was built for publication: Latent Effects for Reusable Language Components

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