Partial evaluation for the lambda calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1706, Issue , 1999, Pages 203-220

  Jones, Neil D ^a   Gomard, Carsten K ^a   Sestoft, Peter ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84879221917     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47018-2_7     Document Type: Conference Paper

References (26)

1. Anders Bondorf and Dirk Dussart. Improving cps-based partial evaluation: Writing cogen by hand. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, volume 94/9 of Technical Report, pages 1-9. University of Melbourne, Australia, 1994.
2. Olivier Danvy. Pragmatics of type-directed partial evaluation. In Olivier Danvy, Robert Gliick, and Peter Thiemann, editors, Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, pages 73-94. Springer-Verlag, 1996.
3. Olivier Danvy, Karolinę Malmkjaer, and Jens Palsberg. The essence of eta-expansion in partial evaluation. Lisp and Symbolic Computation, 8(3):209-227, 1995.
4. C.K. Gomard. Partial type inference for untyped functional programs. In 1990 ACM Conference on Lisp and Functional Programming, Nice, France, pages 282-287. ACM, 1990.
5. C.K. Gomard and N.D. Jones. A partial evaluator for the untyped lambda-calculus. Journal of Functional Programming, 1(1):21-69, January 1991.
6. John Hatcliff. Mechanically verifying the correctness of an offline partial evaluator. In Manuel Hermenegildo and S. Doaitse Swierstra, editors, Proceedings of the Seventh International Symposium on Programming Languages, Implementations, Logics and Programs, number 982 in Lecture Notes in Computer Science, pages 279-298, Utrecht, The Netherlands, September 1995.
7. John Hatcliff. Foundations of partial evaluation of functional programs with computational effects. ACM Computing Surveys, 1998. (in press).
8. John Hatcliff and Olivier Danvy. A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7:507-541, 1997. Special issue devoted to selected papers from the Workshop on Logic, Domains, and Programming Languages. Darmstadt, Germany. May, 1995.
9. Fritz Henglein. Efficient type inference for higher-order binding-time analysis. In J. Hughes, editor, FPCA, pages 448-472. 5th ACM Conference, Cambridge, MA, USA, Berlin: Springer-Verlag, August 1991. Lecture Notes in Computer Science, Vol. 523.
10. John Hughes. Type specialisation for the A-calculus; or a new paradigm for partial evaluation based on type inference. In Olivier Danvy, Robert Ghick, and Peter Thiemann, editors, Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, pages 183-215. Springer-Verlag, 1996.
11. J. Hatcliff. An introduction to partial evaluation using a simple flowchart language. This volume, 1998.
12. N.D. Jones, C. Gomard, P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
13. Julia L. Lawall and Olivier Danvy. Continuation-based partial evaluation. LFP, pages 227-238, 1994.
14. Julia L. Lawall and Peter Thiemann. Sound specialization in the presence of computational effects. In Proceedings of Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, September 1997. (to appear).
15. R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, 1978.
16. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. Cambridge, MA: MIT Press, 1990.
17. T. Mogensen. Self-applicable partial evaluation for pure lambda calculus. In Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, June 1992. (Technical Report YALEU/DCS/RR-909, Yale University), pages 116-121, 1992.
18. T Mogensen. Self-applicable online partial evaluation of the pure lambda calculus. In William L. Scherlis, editor, Proceedings of PEPM '95, pages 39-44. ACM, ACM Press, 1995.
19. Eugenio Moggi. Computational lambda-calculus and monads. In Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science, pages 14-23, Pacific Grove, California, June 1989. IEEE Computer Society Press.
20. Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55-92, 1991.
21. Eugenio Moggi. A categorical account of two-level languages. In Mathematical Foundations of Programming Semantics, Technical Report, pages 199-212. Electronic Notes in Theoretical Computer Science, 1997.
22. H.R. Nielson and F. Nielson. Automatic binding time analysis for a typed A-calculus. Science of Computer Programming, 10:139-176, 1988.
23. H.R. Nielson and F. Nielson. Two-Level Functional Languages. Cambridge University Press, 1992. Cambridge Tracts in Theoretical Computer Science vol. 34.
24. Jens Palsberg. Correctness of binding-time analysis. Journal of Functional Programming, 3(3):347-363, 1993.
25. Frank Pfenning. Logic programming in the LF logical framework. In Gerard Huet and Gordon Plotkin, editors, Logical Frameworks, pages 149-181. Cambridge University Press, 1991.
26. M. Wand. Specifying the correctness of binding-time analysis. In Twentieth ACM Symposium on Principles on Programming Languages, Charleston, South Carolina, pages 137-143. New York: ACM, 1993.