The Calculated Typer (Functional Pearl)

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Haskell and Agda code for the article "The Calculated Typer"
Garby, Z. (Ophavsmand), Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 6 aug. 2025
DOI: 10.5281/zenodo.16751639
Datasæt: Software

Forskningsdatasæt