Book
en
Certified Programming with Dependent Types
Source: Open Library ·
By Adam Chlipala (2013). 25 recommendations on Hacker News.
Why it's interesting
Hacker News rank #998, 38 mentions, 25 recommenders.
Frequently Asked Questions
What is Certified Programming with Dependent Types?
Certified Programming with Dependent Types is a book discovery curated from Open Library. By Adam Chlipala (2013). 25 recommendations on Hacker News.
How can I access or experience this?
You can read or browse this book for free online through open libraries and archives by clicking "Open Original".
Where does this content come from?
Curated from Open Library by the OnSuggest team to surface the most interesting and serendipitous content on the web.
More like this
All Book discoveries →
Open Library
View Details →
Book
HBR's 10 must reads on managing yourself
By Peter F. Drucker; Clayton M. Christensen; Daniel Goleman (2010). 2 mentions on Hacker News.
Open Library
View Details →
Open Library
View Details →
Open Library
View Details →
Open Library
View Details →
Book
The Age of AI
By Jason Thacker; Jakob Lewis; Richard J. Mouw (2020). 2 mentions on Hacker News.
Open Library
View Details →