Pattern Calculus

Barry Jay, P. (2009). Pattern Calculus: Computing with Functions and Structures. Springer.

Type

Book

Intellectual base

Review or monograph

Year

2009

DOI

10.1007/978-3-540-89185-7

ISBN

9783540891840

Link

https://doi.org/10.1007/978-3-540-89185-7

Cited by

1 citation across 1 artifact.

Domain-specific

• Pattern calculus
  • … term first computes a match before substituting the resulting bindings into the body. to The bondi research language used pattern abstractions to express generic eliminators and queries that traverse structurally different values without writing one eliminator per constructor family. demonstrates that continuity.

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