Refereed Papers:

• 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.
• Martin Elsman. Polymorphic Equality - No Tags Required. In Second International Workshop on Types in Compilation (TIL'98). Kyoto, Japan. March 1998. pdf, bibtex.

 Theses:

• Martin Elsman. Program Modules, Separate Compilation, and Intermodule Optimisation. PhD thesis. Revised. Department of Computer Science, University of Copenhagen. January 1999. pdf, bibtex.
• Martin Elsman. A Portable Standard ML Implementation. Master's Thesis. Technical University of Denmark. August 1994. pdf, bibtex.

Technical Reports:

• 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. Fault-Tolerant Voting in a Simply-Typed Lambda Calculus. IT University of Copenhagen, Denmark. IT University Technical Report Series. TR-2007-99. June 2007. 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.
• Glenstrup, A. J., Damgaard, T. C., Birkedal, L., and Elsman, M. BDNF-based Matching of Bigraphs. IT University of Copenhagen. IT University Technical Report Series. TR-2006-93. 2006. 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. pdf, bibtex. Newer edition above!
• Martin Elsman, Jeffrey S. Foster, and Alexander Aiken. Carillon - A System to Find Y2K Problems in C Programs. User's Manual. Computer Science Division, University of California, Berkeley. July 1999. 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 (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
• 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.

Notes:

• Martin Elsman. Efficient Online User Tracking. Note on using unification for efficient online user tracking. Work done while at Zecure.com. July 2006. pdf.
• Martin Elsman. User Authorization for a Hierarchical Account System. Note on implementing an authorization procedure for a hierarchical account system. Work done while at Zecure,com. August 2006. pdf.
• 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. Separate Compilation and Cut-off Incremental Recompilation. Note on implementing separate compilation and cut-off incremental recompilation in the TIL Standard ML compiler. Work done while at Department of Computer Science, University of Copenhagen. May 1997. 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.