Local algebraic effect theories

DOI10.1017/S0956796819000212zbMath1482.68091arXiv2005.13654MaRDI QIDQ5120228

Žiga Lukšič, Matija Pretnar

Publication date: 9 September 2020

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.13654

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation

Uses Software

• Haskell
• z3
• QuickCheck
• Koka
• Eff

Cites Work

• Unnamed Item
• Programming with algebraic effects and handlers
• Notions of computation and monads
• Modelling environments in call-by-value programming languages.
• Algebraic operations and generic effects
• Explicit effect subtyping
• Handling Algebraic Effects
• Algebraic foundations for effect-dependent optimisations
• Handlers of Algebraic Effects
• Just do it
• Programming and reasoning with algebraic effects and dependent types
• Handlers in action
• Type directed compilation of row-typed algebraic effects
• No value restriction is needed for algebraic effects and handlers
• An Effect System for Algebraic Effects and Handlers
• An introduction to algebraic effects and handlers (invited tutorial paper)

This page was built for publication: Local algebraic effect theories