scrambled
scrambled
Concept

Substitutability

Modified just now
Books JourneyProgramming Language Theory Statusmastered Tags
  • language-feature-design
  • semantics
  • type theory

The semantic/behavioral property that one value can safely replace another without breaking program correctness, of which Type compatibility is a static approximation of.

The semantic/behavioral property that one value can safely replace another without breaking program correctness, of which Type compatibility is a static approximation of.