Substitution, jumps, and algebraic effects-Reference-Cited by-同舟云学术

Substitution, jumps, and algebraic effects

Published:2014-07-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
language:
Short-container-title:

Author:

Fiore Marcelo¹,Staton Sam²

Affiliation:

1. University of Cambridge

2. ICIS, Radboud University Nijmegen

Funder

European Research Council

Publisher

ACM

Link

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

Reference46 articles.

1. Continuation-passing, closure-passing style

2. A. Bauer and M. Pretnar. Programming with algebraic effects and handlers. arXiv:1203.1539 2012. A. Bauer and M. Pretnar. Programming with algebraic effects and handlers. arXiv:1203.1539 2012.

3. Exceptional syntax

4. Monads with arities and their associated theories;Berger C.;J. Pure Appl. Algebra,2012

5. Programming and reasoning with algebraic effects and dependent types

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

1. Scoped Effects as Parameterized Algebraic Theories;Lecture Notes in Computer Science;2024

2. Modular Models of Monoids with Operations;Proceedings of the ACM on Programming Languages;2023-08-30

3. Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects;Proceedings of the ACM on Programming Languages;2023-01-09

4. Algebraic models of simple type theories;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08

5. From Equations to Distinctions: Two Interpretations of Effectful Computations;Electronic Proceedings in Theoretical Computer Science;2020-05-01