142 citations · 367 across the 12 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.PL2020★ 6 cited
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…
cs.LO2020★ 7 cited
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…
cs.PL2020★ 6 cited
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…