Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    31 - 40 ud af 61Pr. side: 10
    Sortering: Titel
    1. Udgivet

      Integrating region memory management and tag-free generational garbage collection

      Elsman, Martin & Hallenberg, N., 2021, I: Journal of Functional Programming. 31, 31 s., e4.

      Publikation: Bidrag til tidsskrift › Review › 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

      Message from the organizing committee

      Elsman, Martin, Grelck, C., Klöckner, A. & Padua, D., 2016, ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Co-located with PLDI 2016. Association for Computing Machinery, s. iii-iv

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    4. Udgivet

      Modular Acceleration: Tricky Cases of Functional High-performance Computing

      Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (red.). New York, NY, USA: Association for Computing Machinery, s. 10-21 12 s.

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

    5. Udgivet

      On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML

      Elsman, Martin & Hallenberg, N., 2020, Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (red.). Springer VS, s. 95-112 18 s. (Lecture Notes in Computer Science, Bind 12007 LNCS).

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

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

      Elsman, Martin, jan. 1998

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

    7. Udgivet

      Parallelism in a Region Inference Context

      Elsman, Martin & Henriksen, Troels, 2023, I: Proceedings of the ACM on Programming Languages. 7, PLDI, s. 884-906 142.

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

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

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

      Elsman, Martin, jul. 1999

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

    10. Udgivet

      Preface

      Elsman, Martin, 2022, Proceedings - 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, Inc., s. IV (ACM International Conference Proceeding Series).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    Forrige 1 2 3 4 5 6 7 Næste

    ID: 38272928