Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    1 - 10 ud af 60Pr. side: 10
    1. Udgivet

      Size slicing: a hybrid approach to size inference in futhark

      Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 31-42 12 s.

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

    2. Web Programming with SMLserver

      Elsman, Martin & Hallenberg, N., 1 jan. 2003, Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'03). Springer Science+Business Media

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

    3. Combining Region Inference and Garbage Collection

      Hallenberg, N., Elsman, Martin & Tofte, M., 1 jun. 2002, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02). ACM Press

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

    4. SMLserver-A Functional Approach to Web Publishing

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

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

    5. Udgivet

      Automated execution of financial contracts on blockchains

      Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, dec. 2017, I: Business and Information Systems Engineering. 59, 6, s. 457-467 11 s.

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

    6. Efficient Online User Tracking: Note on using unification for efficient online user tracking

      Elsman, Martin, 2006

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

    7. Udgivet

      Compiling APL to accelerate through a typed array intermediate language

      Budde, M., Dybdal, M. & Elsman, Martin, 2015, Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, s. 13-18 6 s.

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

    8. Udgivet

      Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large

      Elsman, Martin, Henriksen, Troels, Annenkov, D. & Oancea, Cosmin Eugen, 2018, Proceedings of the ACM on Programming Languages. ICFP udg. Association for Computing Machinery, Bind 2. s. 97:1-97:30 30 s.

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

    9. Udgivet

      High-performance defunctionalisation in futhark

      Hovgaard, A. K., Henriksen, Troels & Elsman, Martin, 2019, Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (red.). Springer, s. 136-156 21 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11457 LNCS).

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

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

    Forrige 1 2 3 4 5 6 Næste

    ID: 38272928