Incremental $$\lambda $$ -Calculus in Cache-Transfer Style-Reference-Cited by-同舟云学术

Incremental $$\lambda $$ -Calculus in Cache-Transfer Style

Published:2019 Issue: Volume: Page:553-580
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Giarrusso Paolo G.,Régis-Gianas Yann,Schuster Philipp

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-17184-1_20

Reference27 articles.

1. Acar, U.A.: Self-adjusting computation. Ph.D. thesis, Carnegie Mellon University (2005)

2. Acar, U.A.: Self-adjusting computation: (an overview). In: PEPM, pp. 1–6. ACM (2009)

3. Acar, U.A., Ahmed, A., Blume, M.: Imperative self-adjusting computation. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 309–322. ACM, New York (2008). https://doi.acm.org/10.1145/1328438.1328476

4. Lecture Notes in Computer Science;A Ahmed,2006

5. Appel, A.W., McAllester, D.: An indexed model of recursive types for foundational proof-carrying code. ACM Trans. Program. Lang. Syst. 23(5), 657–683 (2001). https://doi.acm.org/10.1145/504709.504712

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

1. Incrementalizing Polynomial Functors;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20

2. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30

3. Crafting Extensible Forward Incremental Parallel Embedded Build Systems;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29

4. Differential logical relations, part II increments and derivatives;Theoretical Computer Science;2021-12

5. Seminaïve evaluation for a higher-order functional language;Proceedings of the ACM on Programming Languages;2020-01