Browsing by Author "Cockx, Jesper"

Now showing 1 - 4 of 4

Dependent Pattern Matching and Proof-Relevant Unification

Cockx, Jesper
PHD thesis
2017-06
Expressive and strongly type-safe code generation

Winant, Thomas
;
Cockx, Jesper
;
Devriese, Dominique
Proceedings paper
2017, PPDP '17. Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, 9/10/2017, p.199-210
Lifting proof-relevant unification to higher dimensions

Cockx, Jesper
;
Devriese, Dominique
Proceedings paper
2017, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP, 16/01/2017, p.173-181
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory

Cockx, Jesper
;
Devriese, Dominique
Journal article
2018, Journal of Functional Programming, 28, p.1-55