Bibliography

1

L. O. Andersen.
Program Analysis and Specialization for the C Programming Language.
PhD thesis, DIKU, University of Copenhagen, May 1994.
(DIKU report 94/19).

2

L. Birkedal and M. Welinder.
Partial evaluation of Standard ML.
Rapport 93/22, DIKU, University of Copenhagen, 1993.

3

A. Bondorf.
Automatic autoprojection of higher order recursive equations.
Science of Computer Programming, 17:3-34, 1991.

4

A. Bondorf.
Improving binding times without explicit CPS-conversion.
In Proc. 1992 ACM Conference on Lisp and Functional Programming, pages 1-10, San Francisco, California, USA, June 1992.

5

A. Bondorf.
Similix 5.0 Manual.
DIKU, University of Copenhagen, May 1993.

6

A. Bondorf and O. Danvy.
Automatic autoprojection of recursive equations with global variables and abstract data types.
Science of Computer Programming, 16(2):151-195, 1991.

7

A. Bondorf and J. Jørgensen.
Efficient analyses for realistic off-line partial evaluation.
Journal of Functional Programming, 3(3):315-346, July 1993.

8

C. Consel.
A tour of Schism.
In D. Schmidt, editor, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '93, pages 134-154, Copenhagen, Denmark, June 1993. ACM Press.

9

C. Consel and O. Danvy.
From interpreting to compiling binding times.
In N. D. Jones, editor, Proc. 3rd European Symposium on Programming 1990, volume 432 of Lecture Notes in Computer Science, pages 88-105, Copenhagen, Denmark, 1990. Springer-Verlag.

10

C. Consel and O. Danvy.
Static and dynamic semantics processing.
In Proc. 18th Annual ACM Symposium on Principles of Programming Languages, pages 14-24, Orlando, Florida, Jan. 1991. ACM Press.

11

O. Danvy.
Across the bridge between reflection and partial evaluation.
In D. Bjørner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation, pages 83-116, Amsterdam, 1988. North-Holland.

12

O. Danvy.
Type-directed partial evaluation.
In Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, pages 242-257, St. Petersburg, Fla., Jan. 1996. ACM Press.

13

O. Danvy, K. Malmkjær, and J. Palsberg.
The essence of eta-expansion in partial evaluation.
Lisp and Symbolic Computation, 8(3):209-227, July 1995.

14

O. Danvy, K. Malmkjær, and J. Palsberg.
Eta-expansion does The Trick.
ACM Transactions on Programming Languages and Systems, 18(6):730-751, Nov. 1996.

15

D. Dussart, F. Henglein, and C. Mossin.
Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time.
In A. Mycroft, editor, Proc. International Static Analysis Symposium, SAS'95, volume 983 of Lecture Notes in Computer Science, pages 118-136, Glasgow, Scotland, Sept. 1995. Springer-Verlag.

16

C. K. Gomard.
Partial type inference for untyped functional programs.
In Proc. 1990 ACM Conference on Lisp and Functional Programming, pages 282-287, Nice, France, 1990. ACM Press.

17

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

18

N. Heintze.
Set-based analysis of ML-programs.
In LFP 1994 [24], pages 306-317.

19

F. Henglein.
Efficient type inference for higher-order binding-time analysis.
In J. Hughes, editor, Proc. Functional Programming Languages and Computer Architecture 1991, volume 523 of Lecture Notes in Computer Science, pages 448-472, Cambridge, MA, 1991. Springer-Verlag.

20

F. Henglein and C. Mossin.
Polymorphic binding-time analysis.
In D. Sannella, editor, Proceedings of European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 287-301. Springer-Verlag, Apr. 1994.

21

N. D. Jones, C. K. Gomard, and P. Sestoft.
Partial Evaluation and Automatic Program Generation.
Prentice-Hall, 1993.

22

R. Kelsey, W. Clinger, and J. Rees.
Revised⁵ report on the algorithmic language scheme.
Technical report, 1998.

23

J. L. Lawall and O. Danvy.
Continuation-based partial evaluation.
In LFP 1994 [24], pages 227-238.

24

Proc. 1994 ACM Conference on Lisp and Functional Programming, Orlando, Florida, USA, June 1994. ACM Press.

25

K. Malmkjær, N. Heintze, and O. Danvy.
ML partial evaluation using set-based analysis.
In Record of the 1994 ACM SIGPLAN Workshop on ML and its Applications, number 2265 in INRIA Research Report, pages 112-119, Orlando, Florida, June 1994.

26

T. Æ. Mogensen.
Separating binding times in language specifications.
In Proc. Functional Programming Languages and Computer Architecture 1989, pages 14-25, London, GB, 1989.

27

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

28

T. Sheard and N. Nelson.
Type safe abstractions using program generators.
Technical Report 95-013, Oregon Graduate Institute of Science and Technology, PO Box 91000, Portland, OR 97291-1000 USA, July 1995.

29

M. Sperber and P. Thiemann.
The essence of LR parsing.
In W. Scherlis, editor, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '95, pages 146-155, La Jolla, CA, June 1995. ACM Press.

30

P. Thiemann.
Towards partial evaluation of full Scheme.
Technical Report WSI-95-XX, Universität Tübingen, Nov. 1995.

31

P. Thiemann.
Implementing memoization for partial evaluation.
In H. Kuchen and D. Swierstra, editors, International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP '96), volume 1140 of Lecture Notes in Computer Science, pages 198-212, Aachen, Germany, Sept. 1996. Springer-Verlag.

32

P. Thiemann.
Correctness of a region-based binding-time analysis.
In Proc. Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference, volume 6 of Electronic Notes in Theoretical Computer Science, page 26, Pittsburgh, PA, Mar. 1997. Carnegie Mellon University, Elsevier Science BV.
URL: http://www.elsevier.nl/locate/entcs/volume6.html.

33

P. Thiemann.
The PGG System--User Manual.
University of Nottingham, Nottingham, England, June 1998.
Available from ftp://ftp.informatik.uni-tuebingen.de/pub/PU/thiemann/software/pgg/.

34

P. Thiemann and D. Dussart.
Partial evaluation for higher-order languages with state.
Berichte des Wilhelm-Schickard-Instituts WSI-97-XX, Universität Tübingen, Apr. 1997.