Martin Elsman

Martin Elsman

Professor

Member of:

    ORCID: 0000-0002-6061-5993

    Publication year:
    All
    1 - 3 out of 3Page size: 10
    Sort by: 1st author
    1. Published

      Shape-Constrained Array Programming with Size-Dependent Types

      Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41

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

    2. Published

      Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

      Elsman, Martin, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.

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

    3. Published

      Parallelism in a Region Inference Context

      Elsman, Martin & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 884-906 142.

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

    ID: 38272928