Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ebingdom
on Nov 11, 2021
|
parent
|
context
|
favorite
| on:
Types and Programming Languages (2002)
I'd say it's the recommended book for
type systems
. For
type theory
, I'd recommend "Certified Programming with Dependent Types" by Adam Chlipala or "Programming Language Foundations in Agda" by Philip Wadler.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
