Skip to content
Home
Videos
Books
All
Topics
Trends
Blogs
Podcasts
Surprise me
History
Lists
Watch later
Liked videos
Following
Home
Videos
Books
Blogs
Podcasts
Ctrl K
Books
Benjamin C. Pierce
4 books · 203 recommendations on HN
2008–2026
Types and Programming Languages
Benjamin C. Pierce
132
recommend · 321
Software Foundations
Benjamin C. Pierce
2011–2026
Software Foundations
Benjamin C. Pierce
58
recommend · 77
2008–2025
Basic category theory for computer scientists
Benjamin C. Pierce
12
recommend · 16
2010–2018
Advanced topics in types and programming languages
Benjamin C. Pierce
1
recommend · 5