Papers

From MLKit

  1. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, and Peter Sestoft. Programming with Regions in the MLKit (Revised for Version 4.3.0). IT University of Copenhagen. January 2006. pdf, bibtex.
  2. Mads Tofte, Lars Birkedal, Martin Elsman, and Niels Hallenberg. A Retrospective on Region-Based Memory Management. Higher-Order and Symbolic Computation (HOSC). 17(3): 245-265, September 2004, Copyright © 2004 Kluwer Academic Publishers.
  3. 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, bibtex.
  4. Martin Elsman and Niels Hallenberg. A Region-Based Abstract Machine for the MLKit. Royal Veterinary and Agricultural University of Denmark and IT University of Copenhagen. IT University Technical Report Series. TR-2002-18. August, 2002. pdf, bibtex.
  5. 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, bibtex.
  6. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, and Peter Sestoft. Programming with Regions in the MLKit (for Version 4). IT University of Copenhagen. April 2002. pdf, bibtex.
  7. Martin Elsman. Static Interpretation of Modules. In Fourth International Conference on Functional Programming. Paris, France. September 1999. pdf, bibtex
  8. Niels Hallenberg. Combining Garbage Collection and Region Inference in The MLKit. Master's Thesis. Department of Computer Science, University of Copenhagen. 1999. a4.ps.gz, letter.ps.gz.
  9. Martin Elsman. Program Modules, Separate Compilation, and Intermodule Optimisation. PhD thesis. Revised. Department of Computer Science, University of Copenhagen. January 1999. pdf, bibtex.
  10. 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. ps.
  11. 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). ps.
  12. 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. (new version above). ps.gz.
  13. Martin Elsman. Polymorphic Equality - No Tags Required. In Second International Workshop on Types in Compilation. Kyoto, Japan. March 1998. ps.
  14. Mads Tofte and Jean-Pierre Talpin. Region-Based Memory Management. Information and Computation 132(2), pp. 109-176. 1997.
  15. 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. (new version above)
  16. Lars Birkedal, Mads Tofte and Magnus Vejlstrup. From Region Inference to von Neumann Machines via Region Representation Inference. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1996. dvi.gz.
  17. 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. ps.gz.
  18. 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, ps.gz).
  19. Martin Elsman and Niels Hallenberg. An Optimizing Backend for the MLKit Using a Stack of Regions. Student Project 95-7-8. Department of Computer Science, University of Copenhagen. July 1995. backend.dvi.Z.
  20. Mads Tofte and Jean-Pierre Talpin. Implementation of the Typed Call-by-value lambda-calculus using a Stack of Regions. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1994. dvi.gz.
  21. Magnus Vejlstrup. Multiplicity Inference. Master's Thesis 94-9-1. Department of Computer Science, University of Copenhagen. 1994. ps.gz.
  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. 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. dvi.gz.
Retrieved from "http://vipwww.itu.dk/research/mlkit/index.php/Papers"
content