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
2025-08-06Publisher
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