The Pattern Calculus

Jay, C. B. (2004). The Pattern Calculus. ACM, 26(6), 911-937.

Type

Journal article

Intellectual base

Primary research

Year

2004

DOI

10.1145/1034774.1034775

Link

https://doi.org/10.1145/1034774.1034775

Cited by

1 citation across 1 artifact.

Domain-specific

• Pattern calculus
  • Pattern calculus is a family of formal calculi in which generalized pattern matching, rather than only variable substitution, is the primitive interaction that drives function application and structural decomposition.

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