Summary Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati

This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theore