Celebrate Women's History Month
Genres

Type Systems


Type Systems Books

Types and Programming Languages (Mit Press)
Blank 133x176
Programming Language F...
 
by
Philip Wadler
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Type-Driven Development with Idris
Type Theory and Functional Programming (International Computer Science Series)
Software Foundations
Interactive Theorem Proving and Program Development
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science, Series Number 8)
Scala in Depth
Advanced Topics in Types and Programming Languages
More type systems books...

Quotes Tagged “Type Systems”

“ A type system can be regarded as calculating a kind of static approximation to the run-time behaviours of the terms in a program. ”
― Benjamin C. Pierce, Types and Programming Languages
0 likes