This chapter simplifies the conceptual framework of pattern calculus by identifying the syntactic classes of patterns and terms, and of constructors and symbols. Now patterns are first-class entities that may be passed as parameters, evaluated and returned as results. Since variable scope is required to be static, this requires that symbol binding be handled separately from pattern formation. Also, extra care is required to ensure confluence of reduction. Examples include generic functions for equality, elimination, and for string matching. Wildcards and views are also considered.
CITATION STYLE
Jay, B. (2009). Dynamic Patterns. In Pattern Calculus (pp. 45–58). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-89185-7_5
Mendeley helps you to discover research relevant for your work.