1. Anders Bondorf. Automatic autoprojection of higher order recursive equations.Science of Computer Programming, 17(l–3):3–34, December 1991. Selected papers of ESOP '90, the 3rd European Symposium on Programming.

   Google Scholar 

2. Anders Bondorf. Improving binding times without explicit cps-conversion. In1992 ACM Conference on Lisp and Functional Programming. San Francisco, California, pages 1–10, June 1992.

   Google Scholar 

3. Charles Consel and Olivier Danvy. For a Better Support of Static Data Flow. In John Hughes, editor,Functional Programming and Computer Architecture, LNCS, pages 496–519. Springer-Verlag, 1991.

   Google Scholar 

4. Olivier Danvy. Type-directed partial evaluation. InSymposium on Principles of Programming Languages. ACM, jan 1996.

   Google Scholar 

5. Dirk Dussart, Eddy Bevers, and Karel De Vlaminck. Polyvariant Constructor Specialisation. InProc. ACM Conference on Partial Evaluation and Program Manipulation, La Jolla, California, 1995.

   Google Scholar 

6. C. K. Gomard and N. D. Jones. A partial evaluator for the untyped lambda-calculus.Journal of Functional Programming, 1(1):21–70, January 1991.

   Google Scholar 

7. 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, Springer-Verlag, August 1991. Lecture Notes in Computer Science, Vol. 523.

   Google Scholar 

8. J. Launchbury.Projection Factorisations in Partial Evaluation (PhD thesis), volume 1 ofDistinguished Dissertations in Computer Science. Cambridge University Press, 1991.

   Google Scholar 

9. Torben Æ. Mogensen. Constructor specialization. In David Schmidt, editor,ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 22–32, June 1993.

   Google Scholar 

10. F. Nielson and H. R. Nielson.Two-Level Functional Languages. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.

    Google Scholar 

11. S. A. Romanenko. Arity raiser and its use in program specialisation. InProc. 3rd European Symposium on Programming, Lecture Notes in Computer Science Vol. 432, pages 341–360. Springer-Verlag, May 1990.

    Google Scholar 

12. P. Wadler. The essence of functional programming. InProceedings 1992 Symposium on principles of Programming Languages, pages 1–14, Albuquerque, New Mexico, 1992.

    Google Scholar 

13. Daniel Weise and Erik Ruf. Computing types during program specialization. Technical Report CSL-TR-90-441, Stanford Computer Science Laboratory, October 1990.

    Google Scholar 

Download references