Type-Directed Partial Evaluation-Reference-Cited by-同舟云学术

Type-Directed Partial Evaluation

Published:1999 Issue: Volume: Page:367-411
ISSN:0302-9743
Container-title:Partial Evaluation
language:
Short-container-title:

Author:

Danvy Olivier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-47018-2_16

Reference59 articles.

1. Lect Notes Comput Sci;T. Altenkirch,1995

2. Lect Notes Comput Sci;V. Balat,1998

3. Henk Barendregt. The Lambda Calculus — Its Syntax and Semantics. North-Holland, 1984.

4. Henk P. Barendregt. Functional Programming and Lambda Calculus, chapter 7, pages 321–364. Volume B of van Leeuwen [38], 1990.

5. Ulrich Berger and Helmut Schwichtenberg. An inverse of the evaluation functional for typed λ-calculus. In Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, pages 203–211. IEEE Computer Society Press, 1991.

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

1. Semantic analysis of normalisation by evaluation for typed lambda calculus;Mathematical Structures in Computer Science;2022-09

2. Normalization by evaluation for sized dependent types;Proceedings of the ACM on Programming Languages;2017-08-29

3. The Essence of Multi-stage Evaluation in LMS;A List of Successes That Can Change the World;2016

4. Proofs in continuation-passing style;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014

5. Type Directed Partial Evaluation for Level-1 Shift and Reset;Electronic Proceedings in Theoretical Computer Science;2013-09-04