Practical Foundations for Programming Languages¶
Harper, R. (2016). Practical Foundations for Programming Languages. Cambridge University Press.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Closure
- A predicate on terms is closed under reduction when every reduct of a term satisfying the predicate also satisfies it; a typing judgment is closed under context weakening when adding unused declarations to the context does not invalidate the judgment, as Harper (2016) develops in his foundational treatment of structural rules in type theory.
This sourceDevelops the structural rules (weakening, exchange, contraction, substitution) under which typing judgments are closed and the standard preservation-and-progress organisation of soundness.
- A predicate on terms is closed under reduction when every reduct of a term satisfying the predicate also satisfies it; a typing judgment is closed under context weakening when adding unused declarations to the context does not invalidate the judgment, as Harper (2016) develops in his foundational treatment of structural rules in type theory.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:2dc250c856ba · see in the full table