L. Birkedal and M. Welinder. Binding-time analysis for Standard ML. Lisp and Symbolic Computation, 8(3):191-208, September 1995. (Gzipped PostScript, 18 pages, 68749 bytes)

L. Birkedal and M. Welinder. Binding-time analysis for Standard ML. In PEPM '94. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Technical Report 94/9, Department of Computer Science, The University of Melbourne, pages 61-71, 1994. Superseded by  [91]. (Gzipped PostScript, 11 pages, 67509 bytes)

L. Birkedal and M. Welinder. Handwriting program generator generators. In Manuel Hermenegildo and Jaan Penjam, editors, Programming Language Implementation and Logic Programming. 6th International Symposium, PLILP '94, volume 844 of Lecture Notes in Computer Science, pages 198-214, Madrid, Spain, September 1994. Springer. (Gzipped PostScript, 17 pages, 54917 bytes)

L. Birkedal and M. Welinder. Partial evaluation of Standard ML. Technical Report 93/22, DIKU, Department of Computer Science, University of Copenhagen, October 1993. Master's Thesis. (173 pages). (Gzipped PostScript, 175 pages, 307980 bytes)