Troels Henriksen

Søgeresultater

• Artifact for the paper Parallelism in a Region Inference Context (PLDI 2023)

  Elsman, M. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023

  DOI: 10.5281/zenodo.7802891, https://zenodo.org/record/7802891

  Datasæt

• Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)

  Madsen, M. (Ophavsmand), Pol, J. V. D. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023

  DOI: 10.5281/zenodo.8318658, https://zenodo.org/records/8318658

  Datasæt

• futhark-oopsla24

  Schenck, R. (Ophavsmand), Hinnerskov, N. H. (Ophavsmand), Henriksen, T. (Ophavsmand), Madsen, M. (Ophavsmand) & Elsman, M. (Ophavsmand), Zenodo, 2024

  DOI: 10.5281/zenodo.12671598, https://zenodo.org/records/12671598

  Datasæt

• futhark-ad-sc22

  Schenck, R. (Ophavsmand), Rønning, O. (Ophavsmand), Henriksen, T. (Ophavsmand) & Oancea, C. E. (Ophavsmand), Zenodo, 2022

  DOI: 10.5281/zenodo.6853848, https://zenodo.org/records/6853848

  Datasæt

• futhark-oopsla24

  Schenck, R. (Ophavsmand), Hinnerskov, N. H. (Ophavsmand), Henriksen, T. (Ophavsmand), Madsen, M. (Ophavsmand) & Elsman, M. (Ophavsmand), Zenodo, 2024

  DOI: 10.5281/zenodo.12659458, https://zenodo.org/records/12659458

  Datasæt

• Artifact for the paper Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems at OOPSLA 2023

  Madsen, M. (Ophavsmand), Pol, J. V. D. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023

  DOI: 10.5281/zenodo.8121210, https://zenodo.org/record/8121210

  Datasæt

• futhark-oopsla24

  Schenck, R. (Ophavsmand), Hinnerskov, N. H. (Ophavsmand), Henriksen, T. (Ophavsmand), Madsen, M. (Ophavsmand) & Elsman, M. (Ophavsmand), Zenodo, 2024

  DOI: 10.5281/zenodo.12775308, https://zenodo.org/records/12775308

  Datasæt

• Artifact for the paper Parallelism in a Region Inference Context (PLDI 2023)

  Elsman, M. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023

  DOI: 10.5281/zenodo.7810545, https://zenodo.org/records/7810545

  Datasæt

• futhark-mem-sc22

  Munksgaard, P. (Ophavsmand), Henriksen, T. (Ophavsmand), Sadayappan, P. (Ophavsmand) & Oancea, C. E. (Ophavsmand), Zenodo, 2022

  DOI: 10.5281/zenodo.6605525, https://zenodo.org/records/6605525

  Datasæt

• Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)

  Madsen, M. (Ophavsmand), Pol, J. V. D. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023

  DOI: 10.5281/zenodo.8143171, https://zenodo.org/record/8143171

  Datasæt

• VMCAI 2021 Virtual Machine

  Henriksen, T. (Ophavsmand), Zenodo, 2020

  DOI: 10.5281/zenodo.4017293, https://zenodo.org/record/4017293

  Datasæt