Panashe Fundira
256 ReadsLibrarian
 Thinking with Types. Type-Level Programming in Haskell
| 4 reads | 4.75 | 247 pages? duration | ||
 Type Theory and Formal Proof: An Introduction
| 2014 | 1 read | 3.5 | ? pages? duration | |
 Type Theory and Functional Programming
| 1991 | 0 reads | 0 | ? pages? duration | |
 Practical Foundations for Programming Languages
| 2012 | 1 read | 0 | 582 pages? duration | |
 Sacred Games
| 2006 | 20 reads | 3.85 | ? pages? duration | |
 Inside the Machine: An Illustrated Introduction to Microprocessors and Computer Architecture
| 2006 | 3 reads | 5 | ? pages? duration | |
 In Order to Live: A North Korean Girl's Journey to Freedom
| 2015 | 96 reads | 4.46 | 290 pages? duration | |
 The Shadow King
| 2019 | 13 reads | 3.67 | 448 pages? duration | |
 A Culture of Growth
| 2016 | 2 reads | 4 | 403 pages? duration | |
 Ending Aging: The Rejuvenation Breakthroughs That Could Reverse Human Aging in Our Lifetime
| 2007 | 4 reads | 5 | ? pages? duration | |
 Lifespan: Why We Age—and Why We Don't Have To
| 2019 | 36 reads | 4.4 | 432 pages? duration | |
 Class
| 1983 | 7 reads | 4.2 | 202 pages? duration | |
 Stubborn Attachments
| 2018 | 9 reads | 3.75 | 158 pages? duration | |
 A Death in the Rainforest
| 2 reads | 4.5 | ? pages? duration | ||
 Doing Good Better
| 2015 | 26 reads | 4.1 | 272 pages? duration | |
 Thinking Physics
| 1981 | 2 reads | 4.5 | 561 pages? duration | |
 History of the Russian Revolution
| 1931 | 2 reads | 5 | 524 pages? duration | |
 A History of Modern Russia from Nicholas II to Vladimir Putin
| 2003 | 1 read | 0 | 658 pages? duration | |
 A Glorious Liberty: Frederick Douglass and the Fight for an Antislavery Constitution
| 0 reads | 0 | ? pages? duration | ||
 The Son Also Rises
| 1 read | 3 | ? pages? duration | ||
 On the Run: Fugitive Life in an American City
| 2014 | 4 reads | 3.75 | 299 pages? duration | |
 The Trouble with Twin Studies: A Reassessment of Twin Research in the Social and Behavioral Sciences
| 2014 | 0 reads | 0 | ? pages? duration | |
 Radical Markets: Uprooting Capitalism and Democracy for a Just Society
| 2018 | 13 reads | 2.86 | 368 pages? duration | |
 DNA: The Secret of Life
| 2002 | 4 reads | 3.67 | 464 pages? duration | |
 The World According to Physics
| 2020 | 8 reads | 3.2 | 336 pages? duration | |
 The Road to Reality
| 2004 | 9 reads | 3 | 1,099 pages? duration | |
 Who Gets Promoted, Who Doesn't, and Why: 10 Things You'd Better Do If You Want to Get Ahead
| 2007 | 0 reads | 0 | 176 pages? duration | |
 Big Friendship: How We Keep Each Other Close
| 2020 | 4 reads | 4.5 | 251 pages? duration | |
 Rethinking Positive Thinking: Inside the New Science of Motivation
| 2014 | 1 read | 4 | 201 pages? duration | |
 Free Will: The Basics
| 2012 | 0 reads | 0 | 161 pages? duration | |
 You Are The One You've Been Waiting For: Bringing Courageous Love To Intimate Relationships
| 2008 | 4 reads | 4.25 | ? pages? duration | |
 Cynical Theories
| 2020 | 12 reads | 4.27 | 399 pages? duration | |
 A Guide to the Good Life
| 2008 | 97 reads | 4.24 | 328 pages? duration | |
 How to Judge People by What They Look Like How to Judge People by What They Look Like
| 1 read | 4.5 | ? pages? duration | ||
 A Long Way Gone: Memoirs of a Boy Soldier
| 2007 | 93 reads | 3.97 | 238 pages? duration | |
 Perfectly Confident
| 2020 | 1 read | 4 | 272 pages? duration | |
 Dirt
| 2007 | 2 reads | 3.5 | 295 pages? duration | |
 The Cultural Revolution: A People's History, 1962-1976
| 2016 | 2 reads | 3.75 | 396 pages? duration | |
 Bonds That Make Us Free
| 2001 | 1 read | 3 | 368 pages? duration | |
 Ordinary Men: Reserve Police Battalion 101 and the Final Solution in Poland
| 1992 | 37 reads | 3.95 | 271 pages? duration |