Forskningsdatasæt
- 4 resultater
Søgeresultater
-
Haskell and Agda code for the article "Calculating Compilers Effectively"
Zac, G. (Ophavsmand), Hutton, G. (Ophavsmand) & Patrick, B. (Ophavsmand), ZENODO, 18 jul. 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Datasæt: Software
-
CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Ophavsmand), ZENODO, 15 dec. 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Datasæt: Software
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 27 maj 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Datasæt: Software
-
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 31 maj 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Datasæt: Software