Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory

dc.contributor.author	Cockx, Jesper
dc.contributor.author	Devriese, Dominique
dc.date.accessioned	2021-10-25T17:22:13Z
dc.date.available	2021-10-25T17:22:13Z
dc.date.embargo	9999-12-31
dc.date.issued	2018
dc.identifier.issn	0956-7968
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/30446
dc.identifier.url	https://doi.org/10.1017/S095679681800014X
dc.source.beginpage	1
dc.source.endpage	55
dc.source.journal	Journal of Functional Programming
dc.source.volume	28
dc.title	Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
dc.type	Journal article
dspace.entity.type	Publication
Files	Original bundle Name: 42430.pdf Size: 358.65 KB Format: Adobe Portable Document Format Download
Publication available in collections:	Articles