Kitap
en
Certified Programming with Dependent Types
Kaynak: Open Library ·
By Adam Chlipala (2013). 25 recommendations on Hacker News.
Neden ilginç
Hacker News rank #998, 38 mentions, 25 recommenders.
Benzer keşifler
-
Way of Effortless Mindfulness
Kitap · Open Library
-
HBR's 10 must reads on managing yourself
Kitap · Open Library
-
Emergent Computation
Kitap · Open Library
-
Oil
Kitap · Open Library
-
Myth and religion
Kitap · Open Library
-
The Age of AI
Kitap · Open Library