cover title author avg rating rating Down_arrow my rating date read date added
 
Scala in Depth
3.91
Dec 15, 2011
Dec 30, 2011
 
Functional Programming and Input/Output
0.00
not set
Jan 07, 2012
 
Advanced Topics in Types and Programming Languages
3.95
not set
Dec 30, 2011
 
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
4.11
not set
Dec 31, 2011
 
Types and Programming Languages
4.22
not set
Dec 30, 2011
 
Certified Programming with Dependent Types
4.14
not set
Jan 27, 2012
 
Software Foundations
4.75
not set
Feb 02, 2012
 
Type Theory And Functional Programming
4.00
not set
Nov 03, 2012
Rss More books shelved as 'type-systems' »