Types and Correctness

  • Raymond Turner


While in practice full correctness proofs are rarely forthcoming, computer scientists still employ tools that guarantee some form of correctness. One of these tools is a type checker for the language. Types fine-tune the grammatical structure of the language, and bring semantic intuitions to the grammatical party. The following is a quote from Pierce’s text on types in programming languages.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Raymond Turner
    • 1
  1. 1.School of Computer Science & Electronic EngineeringUniversity of EssexColchesterUK

Personalised recommendations