Definitions from Wikipedia (Subject reduction)

▸ noun:  In type theory, a type system has the property of subject reduction (also subject evaluation, type preservation or simply preservation) if evaluation of expressions does not cause their type to change.


▸ Words similar to subject reduction
▸ Usage examples for subject reduction

▸ Idioms related to subject reduction
▸ Wikipedia articles (New!)
▸ Words that often appear near subject reduction
▸ Rhymes of subject reduction

▸ Invented words related to subject reduction