Runners in Action
From MaRDI portal
Publication:5041086
DOI10.1007/978-3-030-44914-8_2OpenAlexW3100595446MaRDI QIDQ5041086
Publication date: 13 October 2022
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.11629
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Stream processors and comodels ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ When programs have to watch paint dry ⋮ Runners for interleaving algebraic effects ⋮ Region-based resource management and lexical exception handlers in continuation-passing style
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Programming with algebraic effects and handlers
- Notions of computation and monads
- Algebraic operations and generic effects
- Explicit effect subtyping
- Combining effects: sum and tensor
- Stateful runners of effectful computations
- Exceptional syntax
- Handling Algebraic Effects
- Semantics for Algebraic Operations
- Interaction Laws of Monads and Comonads
- Handlers in action
- Combinators for bi-directional tree transformations
- Linear usage of state
- Tensors of Comodels and Models for Operational Semantics
- An Effect System for Algebraic Effects and Handlers
This page was built for publication: Runners in Action