Troels Henriksen

Search results

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

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

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

  Dataset

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

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

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

  Dataset

• futhark-oopsla24

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

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

  Dataset

• futhark-ad-sc22

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

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

  Dataset

• futhark-oopsla24

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

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

  Dataset

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

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

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

  Dataset

• futhark-oopsla24

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

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

  Dataset

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

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

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

  Dataset

• VMCAI 2021 Virtual Machine

  Henriksen, T. (Creator), Zenodo, 2020

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

  Dataset

• futhark-mem-sc22

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

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

  Dataset

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

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

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

  Dataset