Research areas

Find within research areas:

313771 - 313780 out of 407,378Page size: 10
Sort by: 1st author
  1. Published

    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. (ed.). Association for Computing Machinery, p. 14-24

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

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

    Elsman, Martin, Jan 1998

    Research output: Book/Report › Report › Research

  3. Carillon-A System to Find Y2K Problems in C Programs

    Elsman, Martin, Foster, J. S. & Aiken, A., 1 Jul 1999

    Research output: Book/Report › Report › Research

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

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

  6. Program Modules, Separate Compilation, and Intermodule Optimisation

    Elsman, Martin, 1 Jan 1999

    Research output: Book/Report › Ph.D. thesis › Research

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

    Elsman, Martin, 1 Jun 2007

    Research output: Book/Report › Report › Research

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

  9. Type-Specialized Serialization with Sharing

    Elsman, Martin, 1 Feb 2004

    Research output: Book/Report › Report › Research

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

    Elsman, Martin, Jul 1999

    Research output: Book/Report › Report › Research

Previous 1...31374 31375 31376 31377 31378 31379 31380 31381 ...40738 Next