Programming Language Theory Flashcard
The definition of type system
Books
Concepts
Decktype theory
Question
The definition of type system
Answer
Type system is a tractable syntactic method to prove the absence of a program's behavior by classifying phrases according to the types of values they compute.