Show simple item record

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

dc.contributor.authorCockx, Jesper
dc.contributor.authorDevriese, Dominique
dc.date.accessioned2021-10-25T17:22:13Z
dc.date.available2021-10-25T17:22:13Z
dc.date.issued2018
dc.identifier.issn0956-7968
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/30446
dc.sourceIIOimport
dc.titleProof-relevant unification: Dependent pattern matching with only the axioms of your type theory
dc.typeJournal article
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage1
dc.source.endpage55
dc.source.journalJournal of Functional Programming
dc.source.volume28
dc.identifier.urlhttps://doi.org/10.1017/S095679681800014X
imec.availabilityPublished - open access
imec.internalnotese12


Files in this item

Thumbnail
Name:
42430.pdf
Size:
358.6Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record