Haskell and Agda code for the article "The Calculated Typer"
- Zac Garby(Creator),
- Patrick Bahr(Creator),
- Graham Hutton(Creator)
- ,
- ,
- ,
- University of Nottingham
Dataset:
Dataset Types
Software
Dataset Information
Date made available
06/08/2025Publisher
ZENODODescription
Haskell and Agda code for the article "The Calculated Typer"
Cite this dataset
Brief description
Zac Garby, Patrick Bahr, Graham Hutton. (2025). Haskell and Agda code for the article "The Calculated Typer". 10.5281/zenodo.16751639