Datasets
- 4 results
Search results
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 27 May 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Dataset: Software
-
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 31 May 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Dataset: Software
-
CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Creator), ZENODO, 15 Dec 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Dataset: Software
-
Haskell and Agda code for the article "Calculating Compilers Effectively"
Zac, G. (Creator), Hutton, G. (Creator) & Patrick, B. (Creator), ZENODO, 18 Jul 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Dataset: Software