Martin Elsman

Martin Elsman

Professor

Member of:

    ORCID: 0000-0002-6061-5993

    Publication year:
    All
    1 - 10 out of 60Page size: 10
    1. 1994

    2. A Portable Standard ML Implementation

      Elsman, Martin, 1 Aug 1994

      Research output: Book/Report › Report › Research

    3. 1995

    4. An Optimizing Backend for the ML Kit Using a Stack of Regions

      Elsman, Martin & Hallenberg, N., Jun 1995

      Research output: Book/Report › Report › Research

    5. 1997

    6. Separate Compilation and Cut-off Incremental Recompilation: Note on implementing separate compilation and cut-off incremental recompilation in the TIL Standard ML compiler

      Elsman, Martin, 1997

      Research output: Book/Report › Report › Research

    7. 1998

    8. Optimising Typed Programs: Note on optimising intermediate language programs in the MLKit compiler

      Elsman, Martin, Jan 1998

      Research output: Book/Report › Report › Research

    9. Polymorphic Equality-No Tags Required

      Elsman, Martin, 1 Mar 1998, Proceedings of the Second International Workshop on Types in Compilation. Springer Science+Business Media

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

    10. Programming with Regions in the ML Kit (for Version 3)

      Tofte, M., Birkedal, L., Elsman, Martin, Hallenberg, N., Olesen, T. H., Sestoft, P. & Bertelsen, P., 1 Dec 1998

      Research output: Book/Report › Book › Research

    11. 1999

    12. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 Jan 1999

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

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

      Elsman, Martin, Jul 1999

      Research output: Book/Report › Report › Research

    14. Carillon-A System to Find Y2K Problems in C Programs

      Elsman, Martin, Foster, J. S. & Aiken, A., 1 Jul 1999

      Research output: Book/Report › Report › Research

    15. Static Interpretation of Modules

      Elsman, Martin, 1 Sep 1999, Procedings of Fourth International Conference on Functional Programming (ICFP'99). ACM Press, p. 208-219 12 p.

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

    Previous 1 2 3 4 5 6 Next

    ID: 38272928