A typed continuation-passing translation for lexical effect handlers-Reference-Cited by-同舟云学术

A typed continuation-passing translation for lexical effect handlers

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Schuster Philipp¹,Brachthäuser Jonathan Immanuel¹,Müller Marius¹,Ostermann Klaus¹

Affiliation:

1. University of Tübingen, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3519939.3523710

Reference37 articles.

1. Yves Bertot and Pierre Castéran . 2004. Interactive Theorem Proving and Program Development , Coq’Art:The Calculus of Inductive Constructions . Springer-Verlag . Yves Bertot and Pierre Castéran. 2004. Interactive Theorem Proving and Program Development, Coq’Art:The Calculus of Inductive Constructions. Springer-Verlag.

2. Binders by day, labels by night: effect instances via lexically scoped handlers

3. Effekt: extensible algebraic effects in Scala (short paper)

4. Effect handlers for the masses

5. Effects as capabilities: effect handlers and lightweight effect polymorphism

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Intrinsically Typed Compiler for Algebraic Effect Handlers;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

2. Algebraic Effects Meet Hoare Logic in Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05

3. From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers;Proceedings of the ACM on Programming Languages;2023-10-16

4. A General Fine-Grained Reduction Theory for Effect Handlers;Proceedings of the ACM on Programming Languages;2023-08-30