Programming Language Theory Flashcard
What makes a type system sound?
Books
Concepts
Decktype theory
Question
What makes a type system sound?
Answer
A type system is sound if the claim they make about the program actually holds at runtime.
Question
What makes a type system sound?
Answer
A type system is sound if the claim they make about the program actually holds at runtime.