Advanced topics in types and programming languages
Explore Advanced topics in types and programming languages by Benjamin C. Pierce: 5 Hacker News mentions from 5 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XAdvanced topics in types and programming languages
5 mentions · 5 participants · 1 recommenders
Book editionFrom the conversation
Latest 5 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
This record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News…ion? After spending some time with Haskell, I was considering diving into some more type theory. Any recommendation for the good type theory book? I know about Pierce's "Types and Programming Languages" and "Advanced Topics in Types and Programming Languages" but would like to learn whether there are any comparable alternatives. Thanks in advance!
Read on Hacker News