Martin Elsman

Martin Elsman

Professor

Member of:

    ORCID: 0000-0002-6061-5993

    Publication year:
    All
    1 - 3 out of 3Page size: 10
    1. 2015
    2. Published

      A financial benchmark for GPGPU compilation

      Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 p.

      Research output: Book/Report › Report › Research

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

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

    ID: 38272928