Papers related to Region Inference and The ML Kit compiler

M. Tofte, L. Birkedal, M. Elsman, and N. Hallenberg. A retrospective on region-based memory management. Higher Order Symbolic Computation, 17(2), 2004. (Gzipped PostScript, 26 pages, 339574 bytes)

M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T.H. Olesen, and P. Sestoft. Programming with Regions in the ML Kit (for Version 4). The IT University of Copenhagen, September 2001. (234 pages). Available via http://www.it-c.dk/research/mlkit. (Gzipped PostScript, 234 pages, 611570 bytes)

L. Birkedal and M. Tofte. A constraint-based region inference algorithm. Theoretical Computer Science, 258:299-392, 2001. (Gzipped PostScript, 106 pages, 229307 bytes)

M. Tofte and L. Birkedal. A region inference algorithm. ACM Transactions on Programming Languages and Systems, 20(4):734-767, July 1998. (plus 24 pages of electronic appendix). (Gzipped PostScript, 70 pages, 457058 bytes)

M. Tofte and L. Birkedal. Unification and polymorphism in region inference. To Appear in Milner Festschrift (Accepted), 1998. (25 pages). (Gzipped PostScript, 26 pages, 157287 bytes)

L. Birkedal, M. Tofte, and M. Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proceedings of the 23-rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 171-183. ACM Press, January 1996. (Gzipped PostScript, 13 pages, 76740 bytes)

M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T.H. Olesen, P. Sestoft, and P. Bertelsen. Programming with regions in the ML Kit (for version 3). Technical Report 98/25, Department of Computer Science, University of Copenhagen, November 1998. (214 pages). (Gzipped PostScript, 215 pages, 618135 bytes)

M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T.H. Olesen, P. Sestoft, and P. Bertelsen. Programming with regions in the ML Kit. Technical Report 97/12, Department of Computer Science, University of Copenhagen, 1997. (194 pages). (Gzipped PostScript, 195 pages, 1996189 bytes)

L. Birkedal, N. Rothwell, M. Tofte, and D.N. Turner. The ML Kit, Version 1. Technical Report 93/14, Department of Computer Science, University of Copenhagen, 1993. (112 pages). (Gzipped PostScript, 119 pages, 213540 bytes)

L. Birkedal. Higher-order functors and principal signatures in Standard ML. TOPPS Report D-184 (117 pages), September 1993. (Gzipped PostScript, 121 pages, 224682 bytes)