Latent Effects for Reusable Language Components

DOI10.1007/978-3-030-89051-3_11zbMATH Open1520.68021MaRDI QIDQ6488151FDOQ6488151

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

Publication date: 29 March 2023

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

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

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)