Papers, Reports, and Theses

Refereed Papers

• 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, ps, ps.gz, 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, ps, ps.gz, 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, ps, ps.gz, 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, ps, ps.gz, bibtex.

• Martin Elsman. Static Interpretation of Modules. In Fourth International Conference on Functional Programming (ICFP'99). Paris, France. September 1999. pdf, ps, ps.gz, bibtex.

• Martin Elsman. Polymorphic Equality - No Tags Required. In Second International Workshop on Types in Compilation (TIL'98). Kyoto, Japan. March 1998. dvi, pdf, ps, ps.gz, bibtex.

Theses

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

• Martin Elsman. A Portable Standard ML Implementation. Master's Thesis. Technical University of Denmark. August 1994. dvi, ps, ps.gz, bibtex.

Technical Reports

• 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, ps, 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 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.

• 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. ps, ps.gz, 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. ps, ps.gz, 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. dvi, ps, ps.gz.