Overlapping and Order-Independent Patterns

DOI10.1007/978-3-642-54833-8_6zbMath1405.68075OpenAlexW190674159MaRDI QIDQ5410695

Dominique Devriese, Jesper Cockx, Frank Piessens

Publication date: 16 April 2014

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_6

zbMATH Keywords

overlapping patternsconfluencetype theoryAgdadependent pattern matching

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules

Uses Software

• Agda

This page was built for publication: Overlapping and Order-Independent Patterns