Programming with algebraic effects and handlers

Andrej Bauer, Matija Pretnar

Type: Article

Publication Date: 2014-04-24

Citations: 155

DOI: https://doi.org/10.1016/j.jlamp.2014.02.001

Similar Works

Action	Title	Year	Authors
+ PDF Chat	An Effect System for Algebraic Effects and Handlers	2013	Andrej Bauer Matija Pretnar
+	What is algebraic about algebraic effects and handlers?	2018	Andrej Bauer
+	What is algebraic about algebraic effects and handlers	2018	Andrej Bauer
+	(Co-)Algebraic Foundations for Effect Handling and Iteration.	2014	Sergey Goncharov Lutz Schröder Christoph Rauch
+	Manipulating algebraic expressions	1999	Ernic Kamerich
+	Programming with Union, Intersection, and Negation Types	2023	Giuseppe Castagna
+ PDF Chat	Behavioural Equivalence via Modalities for Algebraic Effects	2018	Alex Simpson Niels Voorneveld
+	Functions in algebraic and graphical environments	1996	Fulvia Furinghetti Somaglia Annamaria
+ PDF Chat	Reasoning About Algebraic Data Types with Abstractions	2016	Tuan-Hung Pham Andrew Gacek Michael W. Whalen
+ PDF Chat	An analysis of programs by algebraic means	1977	Andrzej Blikle
+	Algebraic Solvers	2015	Manfred Kaltenbacher
+	Algebra manipulating programs for structural analogies	1974	John D. Renton
+	Programming Techniques	2002
+	Semantics in Algebraic Computation	1989	David L. Rector
+	4.6. Special programming models	1990	Walter C. Labys Thomas Kuczmowski Gerd Infanger
+	Applicative High Order Programming	1991	S. Sokołowski
+	Algebraic Programming in Mathematica	2004	Andrzej Kozłowski
+	On paths and a bit of algebraic abstraction	2010	Christos K. K. Loverdos Apostolos Syropoulos
+	Confluence Operators	2008	Sébastien Konieczny Ramón Pino Pérez
+	Confluence Operators	2008	Sébastien Konieczny Ramón Pino Pérez

Action	Title	Year	Authors
+ PDF Chat	An Effect System for Algebraic Effects and Handlers	2014	Andrej Bauer Matija Pretnar
+ PDF Chat	Relative Hilbert-Post Completeness for Exceptions	2016	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous Jean-Claude Reynaud
+ PDF Chat	Interaction Laws of Monads and Comonads	2020	Shin-ya Katsumata Exequiel Rivas Tarmo Uustalu
+ PDF Chat	A Cubical Language for Bishop Sets	2022	Jonathan Sterling Carlo Angiuli Daniel Gratzer
+	Handling Bidirectional Control Flow: Technical Report	2020	Yizhou Zhang Guido Salvaneschi Andrew C. Myers
+ PDF Chat	Soundly Handling Linearity	2024	Wenhao Tang Daniel Hillerström Sam Lindley J. Garrett Morris
+ PDF Chat	On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control	2019	Yannick Forster Ohad Kammar Sam Lindley Matija Pretnar
+ PDF Chat	Gradual session types	2019	Atsushi Igarashi Peter Thiemann Yuya Tsuda Vasco T. Vasconcelos Philip Wadler
+ PDF Chat	Interaction trees: representing recursive and impure programs in Coq	2019	Li-yao Xia Yannick Zakowski Paul He Chung-Kil Hur Gregory Malecha Benjamin C. Pierce Steve Zdancewic
+ PDF Chat	Harmonizing Signals and Events with a Lightweight Extension to Java	2018	Tetsuo Kamina Tomoyuki Aotani

Action	Title	Year	Authors
+	None	2003	Gordon Plotkin John Power
+	Modelling environments in call-by-value programming languages	2003	Paul Blain Levy John Power Hayo Thielecke
+	Tensors of Comodels and Models for Operational Semantics	2008	Gordon Plotkin John Power
+	From Comodels to Coalgebras: State and Arrays	2004	John Power Olha Shkaravska