Celebrate Women's History Month
Shelves > Type System >

Type System Books

Showing 1-5 of 5
Types and Programming Languages (Mit Press) Types and Programming Languages (Mit Press)
by (shelved 2 times as type-system)
avg rating 4.28 — 589 ratings — published 2002
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Elements of Programming Elements of Programming (Hardcover)
by (shelved 1 time as type-system)
avg rating 3.97 — 193 ratings — published 2009
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Category Theory for Programmers Category Theory for Programmers (ebook)
by (shelved 1 time as type-system)
avg rating 4.20 — 196 ratings — published 2014
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
From Mathematics to Generic Programming From Mathematics to Generic Programming (Kindle Edition)
by (shelved 1 time as type-system)
avg rating 4.13 — 217 ratings — published 2014
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Practical Foundations for Programming Languages Practical Foundations for Programming Languages (ebook)
by (shelved 1 time as type-system)
avg rating 3.87 — 62 ratings — published 2012
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars