Hacker News Books
This Week
Languages
▼
C
C#
C++
Clojure
CSS
Dart
Elixir
Erlang
Fortran
Go
Haskell
HTML
Java
JavaScript
Julia
Kotlin
Lisp
Lua
Markdown
MATLAB
Objective-C
Perl
PHP
Python
R
Ruby
Rust
Scala
Shell
SQL
Swift
TypeScript
Visual Basic
XHTML
XML
YAML
Zig
Lists
▼
Founder Favorites
All Time Top Books
Interviews
▼
Gabriel Weinberg (DuckDuckGo)
Ray Grieselhuber (DemandSphere)
Newsletter
Blog
▼
Reviews
Changelog
Top Books Of All Time
Top Books By Month
Types and Programming Languages (The MIT Press)
by Benjamin C. Pierce
ISBN: 0262162091
Found in 1 comment on Hacker News
wcrichton
· 2018-09-22 ·
Original thread
Strongly recommend Types and Programming Languages [1]. I think it's the most useful + accessible book on type theory out there.
[1]
https://www.amazon.com/Types-Programming-Languages-MIT-Press...
[1] https://www.amazon.com/Types-Programming-Languages-MIT-Press...