1. Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. (10th May 2018) Authors: COCKX, JESPER; DEVRIESE, DOMINIQUE Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗