Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    1 - 25 ud af 61Pr. side: 25
    Sortering: Titel

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

    2. User Authorization for a Hierarchical Account System: Note on implementing an authorization procedure for a hierarchical account system

      Elsman, Martin, 2006

      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. Typing XHTML Web Applications in ML

      Elsman, Martin & Larsen, K. F., 1 jun. 2004, International Symposium on Practical Aspects of Declarative Languages (PADL'04). Springer Science+Business Media

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

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

    6. Udgivet

      Typed Regions for Tag-Free Garbage Collection

      Elsman, Martin, 2002

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

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

    10. Udgivet

      Towards certified management of financial contracts

      Bahr, P., Berthold, J. & Elsman, Martin, 2014. 3 s.

      Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

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

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

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

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

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

    16. Udgivet

      SMLtoJs: Hosting a standard ML compiler in a Web browser

      Elsman, Martin, 2011, PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients. s. 39-48 10 s. (PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients).

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

    17. SMLserver—A Functional Approach to Web Publishing

      Elsman, Martin, Hallenberg, N. & Varming, C., 2002, IT-Universitetet i København. 174 s.

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

    18. SMLserver-A Functional Approach to Web Publishing

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

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

    19. Programming with Regions in the MLKit (Revised for Version 4.3.0)

      Tofte, M., Birkedal, L., Elsman, Martin, Hallenberg, N., Olesen, T. H. & Sestoft, P., 1 jan. 2006

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

    20. Programming with Regions in the ML Kit (for Version 3)

      Tofte, M., Birkedal, L., Elsman, Martin, Hallenberg, N., Olesen, T. H., Sestoft, P. & Bertelsen, P., 1 dec. 1998

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

    21. Program Modules, Separate Compilation, and Intermodule Optimisation

      Elsman, Martin, 1 jan. 1999

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

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

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

      Elsman, Martin, jul. 1999

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

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

    Forrige 1 2 3 Næste

    ID: 38272928