Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    51 - 60 ud af 61Pr. side: 10
    Sortering: Titel

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

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

    4. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 feb. 2004

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

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

    6. Udgivet

      Typed Regions for Tag-Free Garbage Collection

      Elsman, Martin, 2002

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

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

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

    9. Typing XHTML Web Applications in SMLserver

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

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

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

    Forrige 12 3 4 5 6 7 Næste

    ID: 38272928