Latent Effects for Reusable Language Components

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

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

Publication date: 29 March 2023

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Algebraic operations and generic effects
• Combining effects: sum and tensor
• Handlers of Algebraic Effects
• 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
• 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)