7 citations · 13 across the 2 of their papers we have counts for
4 papers
Explicit Effect Subtyping
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh +2
As popularity of algebraic effects and handlers increases, so does a demand for their efficient execution. Eff, an ML-like language with native support for handlers, has a subtypin…
Local Algebraic Effect Theories
Žiga Lukšič, Matija Pretnar
Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect thes…
Asynchronous Effects
Danel Ahman, Matija Pretnar
We explore asynchronous programming with algebraic effects. We complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within th…
Design and Implementation of the Andromeda Proof Assistant
Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter +2
Andromeda is an LCF-style proof assistant where the user builds derivable judgments by writing code in a meta-level programming language AML. The only trusted component of Andromed…