Martin Elsman

Martin Elsman

Professor

Member of:

    ORCID: 0000-0002-6061-5993

    Publication year:
    All
    41 - 50 out of 61Page size: 10
    Sort by: 1st author

    1. 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 proceeding › Article in proceedings › Research › peer-review

    2. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 Feb 2004

      Research output: Book/Report › Report › Research

    3. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 Jan 1999

      Research output: Book/Report › Ph.D. thesis › Research

    4. Published

      Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

      Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5. Polymorphism and Unification of Cyclic Terms: Note on unification of terms

      Elsman, Martin, Jul 1999

      Research output: Book/Report › Report › Research

    6. Fault-Tolerant Voting in a Simply-Typed Lambda Calculus

      Elsman, Martin, 1 Jun 2007

      Research output: Book/Report › Report › Research

    7. SMLserver—A Functional Approach to Web Publishing

      Elsman, Martin, Hallenberg, N. & Varming, C., 2002, IT-Universitetet i København. 174 p.

      Research output: Book/Report › Book › Research

    8. BDNF-Based Matching of Bigraphs

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

      Research output: Book/Report › Report › Research

    9. Combining Region Inference and Garbage Collection

      Hallenberg, N., Elsman, Martin & Tofte, M., 1 Jun 2002, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02). ACM Press

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    10. Published

      Size slicing: a hybrid approach to size inference in futhark

      Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1 2 3 4 5 6 7 Next

    ID: 38272928