Troels Henriksen

Troels Henriksen

Tenure track adjunkt, Tenure Track Adjunkt

Medlem af:

    ORCID: 0000-0002-1195-9722

    Udgivelsesår:
    Alle
    1 - 3 ud af 3Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2023
    2. Udgivet

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

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. Udgivet

      Parallelism in a Region Inference Context

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    4. Udgivet

      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. (red.). Association for Computing Machinery, Inc., s. 29-41

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    ID: 107181048