Forskningsdatasæt
Søgeresultater
-
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-ad-sc22
Schenck, R. (Ophavsmand), Rønning, O. (Ophavsmand), Henriksen, T. (Ophavsmand) & E. Oancea, C. (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, 18 jul. 2024
DOI: 10.5281/zenodo.12775308, https://zenodo.org/records/12775308
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
-
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
-
VMCAI 2021 Virtual Machine
Henriksen, T. (Ophavsmand), Zenodo, 2020
DOI: 10.5281/zenodo.4017293, https://zenodo.org/record/4017293
Datasæt
-
futhark-oopsla24
Schenck, R. (Ophavsmand), Hinnerskov, N. H. (Ophavsmand), Henriksen, T. (Ophavsmand), Madsen, M. (Ophavsmand) & Elsman, M. (Ophavsmand), Zenodo, 4 jul. 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-mem-sc22
Munksgaard, P. (Ophavsmand), Henriksen, T. (Ophavsmand), Sadayappan, P. (Ophavsmand) & Oancea, C. (Ophavsmand), Zenodo, 2022
DOI: 10.5281/zenodo.6605525, https://zenodo.org/records/6605525
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.7802891, https://zenodo.org/record/7802891
Datasæt
-
futhark-oopsla24
Schenck, R. (Ophavsmand), Hinnerskov, N. H. (Ophavsmand), Henriksen, T. (Ophavsmand), Madsen, M. (Ophavsmand) & Elsman, M. (Ophavsmand), Zenodo, 6 jul. 2024
DOI: 10.5281/zenodo.12671598, https://zenodo.org/records/12671598
Datasæt