Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    1 - 10 ud af 60Pr. side: 10
    Sortering: Udgivelsesdato
    1. 1994

    2. A Portable Standard ML Implementation

      Elsman, Martin, 1 aug. 1994

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    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/rapport › Rapport › Forskning

    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

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    7. 1998

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

      Elsman, Martin, jan. 1998

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    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

      Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

    11. 1999

    12. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 jan. 1999

      Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

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

      Elsman, Martin, jul. 1999

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

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

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

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    15. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 3 4 5 6 Næste

    ID: 38272928