Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    1 - 10 ud af 21Pr. side: 10
    Sortering: 1. forfatter
    1. Udgivet

      A financial benchmark for GPGPU compilation

      Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 s.

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

    2. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 jan. 1999

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

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

      Elsman, Martin, jan. 1998

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

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

    6. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 feb. 2004

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

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

      Elsman, Martin, jul. 1999

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

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

      Elsman, Martin, 1 jun. 2007

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

    9. SMLserver—A Functional Approach to Web Publishing

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

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

    10. SMLserver-A Functional Approach to Web Publishing

      Elsman, Martin & Hallenberg, N., 1 feb. 2002

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

    Forrige 1 2 3 Næste

    ID: 38272928