Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

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

      Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

      Elsman, Martin, 2023, I: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.

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

    2. Udgivet

      Data-parallel flattening by expansion

      Elsman, Martin, Henriksen, Troels & Serup, N. G. W., 8 jun. 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (red.). Association for Computing Machinery, s. 14-24

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

    3. Udgivet

      APL on GPUs: a TAIL from the Past, scribbled in Futhark

      Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 38-43 6 s.

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

    4. Udgivet

      Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

      Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (red.). Springer, s. 184-199 16 s. (Lecture notes in computer science, Bind 8324).

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

    5. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 jan. 1999

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

    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. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 feb. 2004

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

    8. Udgivet

      Towards size-dependent types for array programming

      Henriksen, Troels & Elsman, Martin, 2021, ARRAY 2021 - Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2021. Low, T. M. & Gibbons, J. (red.). Association for Computing Machinery, Inc., s. 1-14 14 s. 3464310

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

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

    10. Udgivet

      Shape-Constrained Array Programming with Size-Dependent Types

      Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (red.). Association for Computing Machinery, Inc., s. 29-41

      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