Types and Programming Languages

Benjamin C. Pierce, T., & Programming Languages, M. P. (2002). Types and Programming Languages. MIT Press.

Type

Book chapter

Intellectual base

Review or monograph

Year

2002

ISBN

9780262162098

Link

https://openlibrary.org/books/OL9468435Mmatched

Cited by

1 citation across 1 artifact.

Domain-specific

• Tagged union
  • A tagged union, also called a discriminated union or variant, is a sum-like data representation whose value contains one alternative payload and a tag identifying which alternative is active.

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:137a5a833fe2 · see in the full table