Beskrivelse
Haskell and Agda code for the article "The Calculated Typer"
| Dato for tilgængelighed | 6 aug. 2025 |
|---|---|
| Forlag | ZENODO |
Citationsformater
- DataSetCite
Haskell and Agda code for the article "The Calculated Typer"
- Zac Garby (Ophavsmand)
- Patrick Bahr (Ophavsmand)
- Graham Hutton (Ophavsmand)
Data set