Papers

Martin Elsman. Double-Ended Bit-Stealing for Algebraic Data Types. In Proceedings of the 2024 ACM SIGPLAN International Conference on Functional Programming (ICFP ‘24). Milan, Italy. September 4-6, 2024. Abstract. PDF.
Martin Elsman. Explicit Effects and Effect Constraints in ReML. In Proceedings of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL ‘24), London, United Kingdom. January 17-19, 2024. Abstract. PDF.
Martin Elsman and Troels Henriksen. Parallelism in a Region Inference Context. In Proceedings of the 44th ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’23), Orlando, Florida, USA. June 17-21, 2023. DOI. PDF.
Martin Elsman. Garbage-Collection Safety for Region-Based Type-Polymorphic Programs. In Proceedings of the 44th ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’23), Orlando, Florida, USA. June 17-21, 2023. DOI. PDF.
Martin Elsman and Niels Hallenberg. Integrating region memory management and tag-free generational garbage collection. In Journal of Functional Programming (JFP). Volume 31, E4. DOI. Cambridge University Press. February 2021. PDF.
Martin Elsman and Niels Hallenberg. On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML. In International Symposium on Practical Aspects of Declarative Languages (PADL ‘20). New Orleans, USA. January, 2020.
Martin Elsman, Philip Munksgaard, and Ken Friis Larsen. Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules. In Proceedings of the ML Family Workshop (ML ‘18). St. Louis, Missouri, USA. September 2018. PDF.
Martin Elsman. SMLtoJs: Hosting a Standard ML Compiler in a Web Browser. In ACM SIGPLAN 2011 International Workshop on Programming Language And Systems Technologies for Internet Clients (PLASTIC’2011). Portland, Oregon, USA. October, 2011. pdf.
Martin Elsman. Type-Specialized Serialization with Sharing. In Sixth Symposium on Trends in Functional Programming (TFP’05). Tallinn, Estonia. September 2005. pdf, bibtex.
Martin Elsman and Ken Friis Larsen. Typing XHTML Web Applications in ML. In International Symposium on Practical Aspects of Declarative Languages (PADL’04). Dallas, USA. June 2004. pdf, bibtex.
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. pdf, bibtex.
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.
Martin Elsman and Niels Hallenberg. Web Programming with SMLserver. In Fifth International Symposium on Practical Aspects of Declarative Languages (PADL’03). New Orleans, Louisiana, USA. January 2003. pdf, bibtex.
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.
Martin Elsman. Static Interpretation of Modules. In Fourth International Conference on Functional Programming (ICFP’99). Paris, France. September 1999. pdf, bibtex.
Mads Tofte. A Brief Introduction to Regions. Invited Talk. In Proceedings on the 1998 ACM International Symposium on Memory Management (ISMM’98). Vancouver, 1998. pdf.
Mads Tofte and Lars Birkedal. A Region Inference Algorithm. In Transactions on Programming Languages and Systems (TOPLAS). July 1998, vol 20, number 4, pages 734-767 (plus 24 pages of electronic appendix). pdf.
Martin Elsman. Polymorphic Equality - No Tags Required. In Second International Workshop on Types in Compilation (TIL’98). Kyoto, Japan. March 1998. pdf, bibtex.
Mads Tofte and Jean-Pierre Talpin. Region-Based Memory Management. In Information and Computation 132(2), pages 109-176. 1997.
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. pdf.
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. pdf.

Theses

Martin Elsman. Program Modules, Separate Compilation, and Intermodule Optimisation. PhD thesis. Revised. Department of Computer Science, University of Copenhagen. January 1999. pdf, bibtex.
Niels Hallenberg. Combining Garbage Collection and Region Inference in The MLKit. Master’s Thesis. Department of Computer Science, University of Copenhagen. 1999. pdf.
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. pdf.
Martin Elsman. A Portable Standard ML Implementation. Master’s Thesis. Technical University of Denmark. August 1994. pdf, bibtex.
Magnus Vejlstrup. Multiplicity Inference. Master’s Thesis 94-9-1. Department of Computer Science, University of Copenhagen. 1994. pdf.

Technical Reports and Student Projects

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.7.2). Department of Computer Science, University of Copenhagen. December 2022. pdf, bibtex.
Martin Elsman. Garbage-Collection Safety for Region-Based Type-Polymorphic Programs. Department of Computer Science, University of Copenhagen (DIKU), Denmark. DIKU Technical report. December 2022. pdf.
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.6.0). Department of Computer Science, University of Copenhagen. December 2021. pdf, bibtex.
Martin Elsman and Niels Hallenberg. Combining Region Inference and Generational Garbage Collection. Department of Computer Science, University of Copenhagen (DIKU), Denmark. DIKU Technical report 2019/01. ISSN 0107-8283. November 2019. pdf.
Martin Elsman. A Framework for Cut-Off Incremental Recompilation and Inter-Module Optimization. IT University of Copenhagen, Denmark. IT University Technical Report. April 2008. pdf, bibtex.
Martin Elsman, Niels Hallenberg, and Carsten Varming. SMLserver — A Functional Approach to Web Publishing (Second Edition). IT University of Copenhagen, Denmark. April, 2007. pdf, bibtex.
Martin Elsman. Type-Specialized Serialization with Sharing. IT University of Copenhagen. IT University Technical Report Series. TR-2004-43. February, 2004. pdf, bibtex, gzipped code.
Martin Elsman and Ken Friis Larsen. Typing XHTML Web Applications in SMLserver. IT University of Copenhagen. IT University Technical Report Series. TR-2003-34. October, 2003. pdf, bibtex.
Martin Elsman. Typed Regions for Tag-Free Garbage Collection. IT University of Copenhagen. IT University Technical Report. October 2002. pdf.
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, bibtex.
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). Technical Report. IT University of Copenhagen. Januar 2006. pdf, bibtex.
Martin Elsman and Niels Hallenberg. SMLserver - A Functional Approach to Web Publishing. Royal Veterinary and Agricultural University of Denmark and IT University of Copenhagen. February, 2002. Newer edition above!
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. December 1998. pdf, bibtex.
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. April 1997. There is a newer version of this document - see above. bibtex.
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. pdf.
Martin Elsman and Niels Hallenberg. An Optimizing Backend for the ML Kit Using a Stack of Regions. Student Project. Department of Computer Science, University of Copenhagen. July 1995. pdf.
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. pdf.
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. pdf.

Notes

Martin Elsman. Polymorphism and Unification of Cyclic Terms. Note on unification of terms. Computer Science Division, University of California, Berkeley. July 1999. pdf.
Martin Elsman. Optimising Typed Programs. Department of Computer Science, University of Copenhagen (DIKU). January 1998. Note on optimising intermediate language programs in the MLKit compiler. pdf, exercises.

Presentations

Martin Elsman. Hosting a Standard ML Compiler in a Web Browser. September 2010. ML Workshop 2010, Baltimore, USA. pdf.