|
|
|
|
|
|
by closed
2414 days ago
|
|
|
I'm really enjoying Types and Programming Languages right now. Imagine that rather than explaining typing using metaphors (a useful activity), people started at a much lower level and built up from there. That's this book! https://www.cis.upenn.edu/~bcpierce/tapl/ |
|
|