Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    41 - 50 ud af 61Pr. side: 10
    1. Udgivet

      Incremental flattening for nested data parallelism

      Henriksen, Troels, Thorøe, F., Elsman, Martin & Oancea, Cosmin Eugen, 16 feb. 2019, PPoPP 2019 - Proceedings of the 24th Principles and Practice of Parallel Programming. Association for Computing Machinery, s. 53-67

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

    2. Udgivet

      Low-level functional GPU programming for parallel algorithms

      Dybdal, M., Elsman, Martin, Svensson, B. J. & Sheeran, M., 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 31-37 7 s.

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

    3. Udgivet

      Certified symbolic management of financial multi-party contracts

      Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, s. 315-327 13 s.

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

    4. A Portable Standard ML Implementation

      Elsman, Martin, 1 aug. 1994

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

    5. Udgivet

      Explicit Effects and Effect Constraints in ReML

      Elsman, Martin, 2024, I: Proceedings of the ACM on Programming Languages. 8, POPL, s. 2370-2394 25 s., 79.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

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

    7. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 sep. 2005, Sixth Symposium on Trends in Functional Programming (TFP'05).

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

    8. Garbage Collection Safety for Region-based Memory Management

      Elsman, Martin, 1 jan. 2003, Proceedings of ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'03). ACM Press

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

    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. Hosting a Standard ML Compiler in a Web Browser

      Elsman, Martin, 2011, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients. ACM Press

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

    Forrige 1 2 3 4 5 6 7 Næste

    ID: 38272928