Troels Henriksen

Troels Henriksen

Assistant professor, tenure track, Tenure Track Assistant Professor

Member of:

    ORCID: 0000-0002-1195-9722

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

      Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

      Madsen, M., van de Pol, J. & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 240.

      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

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

    ID: 107181048