Martin Elsman

Martin Elsman

Professor

Member of:


    1. 2011
    2. Hosting a Standard ML Compiler in a Web Browser

      Elsman, Martin, 2011, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients. ACM Press

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    3. Published

      SMLtoJs: Hosting a standard ML compiler in a Web browser

      Elsman, Martin, 2011, PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients. p. 39-48 10 p. (PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    4. 2008
    5. 2007
    6. Fault-Tolerant Voting in a Simply-Typed Lambda Calculus

      Elsman, Martin, 1 Jun 2007

      Research output: Book/ReportReport

    7. 2006
    8. BDNF-Based Matching of Bigraphs

      Glenstrup, A. J., Damgaard, T. C., Birkedal, L. & Elsman, Martin, 1 Oct 2006

      Research output: Book/ReportReport

    9. Programming with Regions in the MLKit (Revised for Version 4.3.0)

      Tofte, M., Birkedal, L., Elsman, Martin, Hallenberg, N., Olesen, T. H. & Sestoft, P., 1 Jan 2006

      Research output: Book/ReportBook

    10. 2005
    11. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 Sep 2005, Sixth Symposium on Trends in Functional Programming (TFP'05).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    12. 2004
    13. Typing XHTML Web Applications in ML

      Elsman, Martin & Larsen, K. F., 1 Jun 2004, International Symposium on Practical Aspects of Declarative Languages (PADL'04). Springer Science+Business Media

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    ID: 38272928