Sign in with Facebook
Type Systems Books
Showing 1-11 of 11
Types and Programming Languages (Mit Press)
by (shelved 2 times as type-systems)
avg rating 4.28 — 589 ratings — published 2002
Programming Language Foundations in Agda (ebook)
by (shelved 1 time as type-systems)
avg rating 4.00 — 3 ratings — published
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by (shelved 1 time as type-systems)
avg rating 4.00 — 21 ratings — published 1989
Type-Driven Development with Idris (Paperback)
by (shelved 1 time as type-systems)
avg rating 4.47 — 101 ratings — published 2017
Type Theory and Functional Programming (International Computer Science Series)
by (shelved 1 time as type-systems)
avg rating 4.33 — 15 ratings — published 1991
Software Foundations (ebook)
by (shelved 1 time as type-systems)
avg rating 4.54 — 41 ratings — published 2011
Interactive Theorem Proving and Program Development (Hardcover)
by (shelved 1 time as type-systems)
avg rating 4.14 — 29 ratings — published 2004
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
by (shelved 1 time as type-systems)
avg rating 4.28 — 29 ratings — published 2010
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science, Series Number 8)
by (shelved 1 time as type-systems)
avg rating 0.0 — 0 ratings — published 1994
Advanced Topics in Types and Programming Languages (Hardcover)
by (shelved 1 time as type-systems)
avg rating 3.96 — 49 ratings — published 2004
“A type system can be regarded as calculating a kind of static approximation to the run-time behaviours of the terms in a program.”
― Types and Programming Languages
― Types and Programming Languages
