Type Theory and Formal Proof: An Introduction - Rob Nederpelt
- Herman Geuvers
| 1 read |
Types and Programming Languages | 1 read |
The Little Typer - Daniel P. Friedman
- David Thrane Christiansen
| 1 read |
Practical Foundations for Programming Languages | 0 reads |
Type Theory and Functional Programming | 0 reads |
Thinking with Types. Type-Level Programming in Haskell | 2 reads |