An Introduction to Algebraic Effects and Handlers. Invited tutorial paper

2015/12/01 by Matija Pretnar · 1 voice · 4 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification

paper · doi:10.1016/j.entcs.2015.12.003

openalex publication_date 2015/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic effects are, give ample examples to explain how handlers work, define an operational semantics and a type & effect system, show how one can reason about effects, and give pointers for further reading.

Cited by

• Automatic Reparameterisation of Probabilistic Programs
• Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
• Composable Effect Handling for Programming LLM-integrated Scripts
• A Calculus of Inheritance

Discussions

• No worries! To be clear, I have not had the time to digest these works, just hope to give some threads you can pull! I found those references via section 4 of “An Introduction to Algebraic Effects and [bsky, 1 points, 1 comments]

Related

• What is algebraic about algebraic effects and handlers?
• Handling Higher-Order Effects
• A Framework for Higher-Order Effects & Handlers
• Contextual Modal Types for Algebraic Effects and Handlers
• Abstracting Effect Systems for Algebraic Effect Handlers