Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    26 - 50 ud af 61Pr. side: 25

    1. Static Interpretation of Modules

      Elsman, Martin, 1 sep. 1999, Procedings of Fourth International Conference on Functional Programming (ICFP'99). ACM Press, s. 208-219 12 s.

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

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

      Elsman, Martin, jul. 1999

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

    3. Typing XHTML Web Applications in SMLserver

      Elsman, Martin & Larsen, K. F., 1 okt. 2003

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

    4. Udgivet

      Typed Regions for Tag-Free Garbage Collection

      Elsman, Martin, 2002

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

    5. Separate Compilation and Cut-off Incremental Recompilation: Note on implementing separate compilation and cut-off incremental recompilation in the TIL Standard ML compiler

      Elsman, Martin, 1997

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

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

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

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

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

    10. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 jan. 1999

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

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

      Elsman, Martin, jan. 1998

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

    12. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 feb. 2004

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

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

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

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

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

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

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

    19. A Portable Standard ML Implementation

      Elsman, Martin, 1 aug. 1994

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

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

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

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

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

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

    25. 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 Næste

    ID: 38272928