Runners in Action

DOI10.1007/978-3-030-44914-8_2OpenAlexW3100595446MaRDI QIDQ5041086

Andrej Bauer, Danel Ahman

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

zbMATH Keywords

resourcesalgebraic effectsrunnerscomodelsfinalisation

Mathematics Subject Classification ID

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

• Eff
• GitHub

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