Practical Foundations for Programming Languages

Robert Harper, P. (2016). Practical Foundations for Programming Languages. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

2016

DOI

10.1017/cbo9781316576892

ISBN

9781107150300

Link

https://doi.org/10.1017/cbo9781316576892

Cited by

1 citation across 1 artifact.

Domain-specific

• Tagged union
  • The reference identity is semantic rather than one memory layout; representation optimizations qualify only when they preserve the active-case and typed-elimination contract.

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:587694bb0121 · see in the full table