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
J. Roger Hindley
2 books · 10 recommendations on HN
2009–2024
[Lambda]-calculus and combinators
J. Roger Hindley
8
recommend · 12
2013–2019
Basic simple type theory
J. Roger Hindley
2
recommend · 2