Jump to content

Pattern calculus

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Clayrat (talk | contribs) at 22:56, 26 January 2011 (←Created page with ''''Pattern calculus''' is a formalism which extends lambda calculus with abilities to match patterns against an arbitrary compound data structure (''path polymo...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Pattern calculus is a formalism which extends lambda calculus with abilities to match patterns against an arbitrary compound data structure (path polymorphism) and to include free variables in patterns (pattern polymorphism).

Stub icon

This formal methods-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Pattern_calculus&oldid=410258688"