Structured handling of scoped effects
From MaRDI portal
Publication:6166800
DOI10.1007/978-3-030-99336-8_17zbMath1528.68088arXiv2201.10287OpenAlexW4226245203MaRDI QIDQ6166800
Nicolas Wu, Tom Schrijvers, Birthe van den Berg, Marco Paviotti, Zhixuan Yang
Publication date: 3 August 2023
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2201.10287
Functional programming and lambda calculus (68N18) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Programming with algebraic effects and handlers
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Variations on algebra: Monadicity and generalisations of equational theories
- Substitution in non-wellfounded syntax with variable binding
- Notions of computation and monads
- Explicit substitutions and higher-order syntax
- A functional theory of exceptions
- Deforestation: Transforming programs to eliminate trees
- On the construction of free algebras for equational systems
- Algebraic operations and generic effects
- Generalised folds for nested datatypes
- Free-algebra models for the \(\pi \)-calculus
- Combining effects: sum and tensor
- Coequalizers and free triples
- Adjunction Models For Call-By-Push-Value With Stacks
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
- Handling Algebraic Effects
- Fusion for Free
- Algebraic foundations for effect-dependent optimisations
- Foundations for structured programming with GADTs
- Data types à la carte
- Second-Order Algebraic Theories
- Initial Algebra Semantics Is Enough!
- Algebras for combinatorial search
- Comprehending monads
- A poor man's concurrency monad
- Not by equations alone: Reasoning with extensible effects
- Categorical fixed point calculus
- A category-theoretic account of program modules
- Syntax and Semantics for Operations with Scopes
- Handlers in action
- Instances of Computational Effects: An Algebraic Perspective
- Type directed compilation of row-typed algebraic effects
- Do be do be do
- An Effect System for Algebraic Effects and Handlers
- Shallow effect handlers
This page was built for publication: Structured handling of scoped effects
