Overlapping and Order-Independent Patterns - Definitional Equality for All
No abstract available.
Related papers
- Pattern minimization problems over recursive data types ICFP 2008
- Instance chains: type class programming without overlapping instances ICFP 2010
- Polyp - A Polytypic Programming Language POPL 1997
- M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics TOPLAS 1992
- A simple semantics for Haskell overloading Haskell 2014
- Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory JFP 2018
- Communication-centric optimizations by dynamically detecting collective operations PPoPP 2012
- Definitional proof-irrelevance without K POPL 2019