Martin Elsman

Martin Elsman

Professor

Member of:

    ORCID: 0000-0002-6061-5993

    Publication year:
    All
    51 - 60 out of 61Page size: 10
    1. 2002
    2. Published

      Typed Regions for Tag-Free Garbage Collection

      Elsman, Martin, 2002

      Research output: Book/Report › Report › Research

    3. 1999

    4. 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

    5. 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

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

      Elsman, Martin, Jul 1999

      Research output: Book/Report › Report › Research

    7. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 Jan 1999

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

    8. 1998

    9. 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

    10. 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

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

      Elsman, Martin, Jan 1998

      Research output: Book/Report › Report › Research

    12. 1997

    13. 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

    14. 1995

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

      Elsman, Martin & Hallenberg, N., Jun 1995

      Research output: Book/Report › Report › Research

    Previous 12 3 4 5 6 7 Next

    ID: 38272928