Forskningsdatasæt
- 1 resultater
Søgeresultater
-
Haskell and Agda code for the article "The Calculated Typer"
Garby, Z. (Ophavsmand), Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 6 aug. 2025
Datasæt: Software