| Title: |
Unifiers as equivalences: proof-relevant unification of dependently typed data |
| Article URLs: |
|
| Alternative Article URLs: |
A journal version based on this paper and another paper, as well as one of the authors' PhD thesis:
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/proofrelevant-unification-dependent-pattern-matching-with-only-the-axioms-of-your-type-theory/E54D56DC3F5D5361CCDECA824030C38E |
| Authors: |
Jesper Cockx |
-
KU Leuven, iMinds-DistriNet
|
| Dominique Devriese |
-
KU Leuven, iMinds-DistriNet
|
| Frank Piessens |
-
KU Leuven, iMinds-DistriNet
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/icfp/CockxDP16
|
| Author Comments: |
|