Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    31 - 40 ud af 61Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2014
    2. 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

    3. 2011

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

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

    6. 2008

    7. A Framework for Cut-Off Incremental Recompilation and Inter-Module Optimization

      Elsman, Martin, 1 apr. 2008

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

    8. 2007

    9. Fault-Tolerant Voting in a Simply-Typed Lambda Calculus

      Elsman, Martin, 1 jun. 2007

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

    10. 2006

    11. BDNF-Based Matching of Bigraphs

      Glenstrup, A. J., Damgaard, T. C., Birkedal, L. & Elsman, Martin, 1 okt. 2006

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

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

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

      Elsman, Martin, 2006

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

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

    15. 2005

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

    Forrige 1 2 3 4 5 6 7 Næste

    ID: 38272928