Martin Elsman

Martin Elsman

Professor

Member of:

    ORCID: 0000-0002-6061-5993

    Publication year:
    All
    26 - 50 out of 61Page size: 25
    1. 2015
    2. Published

      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, p. 315-327 13 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. Published

      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, p. 13-18 6 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    4. 2014
    5. Published

      Compiling a subset of APL into a typed intermediate language

      Elsman, Martin & Dybdal, M., 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY’14): ARRAY'14 . Association for Computing Machinery, p. 101-106 6 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6. Published

      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, p. 31-42 12 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    7. Published

      Towards certified management of financial contracts

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

      Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

    8. Published

      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. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. 2011

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    11. Published

      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. p. 39-48 10 p. (PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    12. 2008

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

      Elsman, Martin, 1 Apr 2008

      Research output: Book/Report › Report › Research

    14. 2007

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

      Elsman, Martin, 1 Jun 2007

      Research output: Book/Report › Report › Research

    16. 2006

    17. BDNF-Based Matching of Bigraphs

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

      Research output: Book/Report › Report › Research

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

      Research output: Book/Report › Book › Research

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

      Elsman, Martin, 2006

      Research output: Book/Report › Report › Research

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

      Elsman, Martin, 2006

      Research output: Book/Report › Report › Research

    21. 2005

    22. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 Sep 2005, Sixth Symposium on Trends in Functional Programming (TFP'05).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    23. 2004

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    25. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 Feb 2004

      Research output: Book/Report › Report › Research

    26. A Retrospective on Region-Based Memory Management

      Tofte, M., Birkedal, L., Elsman, Martin & Hallenberg, N., 2004, In: Higher-Order and Symbolic Computation. 17, 3, p. 245-265 21 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    27. 2003

    28. Typing XHTML Web Applications in SMLserver

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

      Research output: Book/Report › Report › Research

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    31. 2002

    32. A Region-Based Abstract Machine for the ML Kit

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

      Research output: Book/Report › Report › Research

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    34. SMLserver-A Functional Approach to Web Publishing

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

      Research output: Book/Report › Book › Research

    35. SMLserver—A Functional Approach to Web Publishing

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

      Research output: Book/Report › Book › Research

    Previous 1 2 3 Next

    ID: 38272928