2 papers
cs.PL2025
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Filip Koprivec, Matija Pretnar
Algebraic effect handlers are becoming an increasingly popular way of structuring effectful computations, and their performance is often a concern. One of the proposed approaches t…
cs.PL2024
Higher-Order 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…