Pragmatics of type-directed partial evaluation-Reference-Cited by-同舟云学术

Pragmatics of type-directed partial evaluation

Published:1996 Issue: Volume: Page:73-94
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-61580-6_5.pdf

Reference37 articles.

1. 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, Amsterdam, The Netherlands, July 1991. IEEE Computer Society Press.

2. Dines Bjørner, Andrei P. Ershov, and Neil D. Jones. Partial Evaluation and Mixed Computation. North-Holland, 1988.

3. Hans-J. Boehm, editor. Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages, Portland, Oregon, January 1994. ACM Press.

4. DIKU Report 90-17;A. Bondorf,1990

5. Anders Bondorf. Similix manual, system version 3.0. Technical Report 91/9, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, 1991.

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

1. Two-level languages for program optimization;Theoretical Computer Science;2004-05

2. Normalization and Partial Evaluation;Lecture Notes in Computer Science;2002

3. Convergence of program transformers in the metric space of trees;Science of Computer Programming;2000-05

4. The second Futamura projection for type-directed partial evaluation;ACM SIGPLAN Notices;1999-11

5. Partial Evaluation for the Lambda Calculus;Partial Evaluation;1999