First-class patterns

Publisher:
Cambridge Univ Press
Publication Type:
Journal Article
Citation:
Journal Of Functional Programming, 2009, 19 (2), pp. 191 - 225
Issue Date:
2009-01
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008007865.pdf255.76 kB
Adobe PDF
Pure pattern calculus supports pattern-matching functions in which patterns are first-class citizens that can be passed as parameters, evaluated and returned as results. This new expressive power supports two new forms of polymorphism. Path polymorphism allows recursive functions to traverse arbitrary data structures. Pattern polymorphism allows patterns to be treated as parameters which may be collected from various sources or generated from training data. A general framework for pattern calculi is developed. It supports a proof of confluence that is parameterised by the nature of the matching algorithm, Suitable for the pure pattern calculus and all other known pattern calculi.
Please use this identifier to cite or link to this item: