期刊: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021; 5 ()
This paper studies compilation techniques for algebraic effect handlers. In particular, we present a sequence of refinements of algebraic effects, goi......
期刊: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021; 5 ()
Subtyping with intersection and union types is nowadays common in many programming languages. From the perspective of logic, the subtyping problem is ......