Martin Elsman

Martin Elsman

Professor

Medlem af:


    1. 1994
    2. A Portable Standard ML Implementation

      Elsman, Martin, 1 aug. 1994

      Publikation: Bog/antologi/afhandling/rapportRapport

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

      Elsman, Martin & Hallenberg, N., jun. 1995

      Publikation: Bog/antologi/afhandling/rapportRapport

    5. 1997
    6. 1998
    7. Polymorphic Equality-No Tags Required

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

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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

      Publikation: Bog/antologi/afhandling/rapportBog

    9. 1999
    10. Carillon-A System to Find Y2K Problems in C Programs

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

      Publikation: Bog/antologi/afhandling/rapportRapport

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

      Elsman, Martin, jul. 1999

      Publikation: Bog/antologi/afhandling/rapportRapport

    12. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 jan. 1999

      Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

    13. Static Interpretation of Modules

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

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    Forrige 1 2 3 4 5 6 Næste

    ID: 38272928