Programming Language Metatheory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Programming Language Metatheory.

• Subject reduction — The type-preservation property that evaluation of a well-typed expression cannot change or destroy its assigned type.