Skip to content
scrambled
Programming Language Theory Concept

Substitutability

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.