ML Kit Download  |  Documentation  |  Papers  |  Bugs  |  People  |  About

Home : Papers and Reports

Papers and Reports

  1. Martin Elsman. Garbage Collection Safety for Region-based Memory Management. In Proceedings of ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'03). New Orleans, Louisiana, USA. January 2003. pdf, ps, ps.gz, bibtex.

  2. Martin Elsman and Niels Hallenberg. A Region-Based Abstract Machine for the ML Kit. Royal Veterinary and Agricultural University of Denmark and IT University of Copenhagen. IT University Technical Report Series. TR-2002-18. August, 2002. pdf, ps, ps.gz, bibtex.

  3. Niels Hallenberg, Martin Elsman, and Mads Tofte. Combining Region Inference and Garbage Collection. In ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02). Berlin, Germany. June 2002. pdf, ps, ps.gz, bibtex.

  4. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, and Peter Sestoft. Programming with Regions in the ML Kit (for Version 4). IT University of Copenhagen. April 2002. pdf.

  5. Martin Elsman. Static Interpretation of Modules. In Fourth International Conference on Functional Programming. Paris, France. September 1999. ps.gz, ps.

  6. Niels Hallenberg. Combining Garbage Collection and Region Inference in The ML Kit. Master's Thesis. Department of Computer Science, University of Copenhagen. 1999. a4.ps.gz, letter.ps.gz.

  7. Martin Elsman. Program Modules, Separate Compilation, and Intermodule Optimisation. PhD thesis. Revised. Department of Computer Science, University of Copenhagen. January 1999. phd.dvi, phd.ps.

  8. Mads Tofte. A Brief Introduction to Regions. Invited Talk. Proceedings on the 1998 ACM International Symposium on Memory Management (ISMM '98), Vancouver, 1998. Pages 186-195. PostScript format: pages 1-9, page10.

  9. Mads Tofte and Lars Birkedal. A Region Inference Algorithm. Transactions on Programming Languages and Systems (TOPLAS), July 1998, vol 20, number 4, pages 734-767 (plus 24 pages of electronic appendix). PostScript

  10. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft and Peter Bertelsen. Programming with Regions in the ML Kit (for Version 3). Technical Report 98/25. Department of Computer Science, University of Copenhagen. 1998. ps.gz.

  11. Martin Elsman. Polymorphic Equality - No Tags Required. In Second International Workshop on Types in Compilation. Kyoto, Japan. March 1998. equality.dvi, equality.ps.

  12. Mads Tofte and Jean-Pierre Talpin. Region-Based Memory Management. Information and Computation 132(2), pp. 109-176. 1997.

  13. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft and Peter Bertelsen. Programming with Regions in the ML Kit. Technical Report 97/12. Department of Computer Science, University of Copenhagen. 1997. a4.ps.gz, letter.ps.gz.

  14. Lars Birkedal, Mads Tofte and Magnus Vejlstrup. From Region Inference to von Neumann Machines via Region Representation Inference. Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1996. dvi.gz.

  15. Niels Hallenberg. A Region Profiler for a Standard ML compiler based on Region Inference. Student Project. Department of Computer Science, University of Copenhagen. June 1996. PostScript.

  16. Martin Koch and Tommy Højfeld Olesen. Compiling a Higher-Order Call-by-Value Functional Programming Language to a RISC Using a Stack of Regions. Master's Thesis 96-10-5. Department of Computer Science, University of Copenhagen. 1996. Summary, dvi.gz, ps.gz).

  17. Martin Elsman and Niels Hallenberg. An Optimizing Backend for the ML Kit Using a Stack of Regions. Student Project 95-7-8. Department of Computer Science, University of Copenhagen. July 1995. backend.dvi.Z.

  18. Mads Tofte and Jean-Pierre Talpin. Implementation of the Typed Call-by-value lambda-calculus using a Stack of Regions. Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1994. Summary, BibTeX, dvi.gz.

  19. Magnus Vejlstrup. Multiplicity Inference. Master's Thesis 94-9-1. Department of Computer Science, University of Copenhagen. 1994. ps.gz.

  20. Martin Elsman. A Portable Standard ML Implementation. Master's Thesis. The Technical University of Denmark. 1994. dvi.Z.

  21. Lars Birkedal and Morten Welinder. Partial Evaluation of Standard ML. Master's Thesis. (Revised version: Technical Report 93/22) Department of Computer Science, University of Copenhagen. 1993. Summary, BibTeX, D-176, dvi.Z.

  22. Mads Tofte and Jean-Pierre Talpin. A Theory of Stack Allocation in Polymorphically Typed Languages. Technical Report 93/15. Department of Computer Science, University of Copenhagen. 1993. Summary, BibTeX, D-182, dvi.gz.

  23. Lars Birkedal, Nick Rothwell, Mads Tofte and David N. Turner. The ML Kit (Version 1). Technical Report 93/14. Department of Computer Science, University of Copenhagen. 1993. Summary, BibTeX, D-181, dvi.gz, ps.gz.


The ML Kit is hosted by the IT University of Copenhagen mlkit@it.edu