Browsing by author "Cockx, Jesper"
Now showing items 1-4 of 4
-
Dependent Pattern Matching and Proof-Relevant Unification
Cockx, Jesper (2017-06) -
Expressive and strongly type-safe code generation
Winant, Thomas; Cockx, Jesper; Devriese, Dominique (2017) -
Lifting proof-relevant unification to higher dimensions
Cockx, Jesper; Devriese, Dominique (2017) -
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
Cockx, Jesper; Devriese, Dominique (2018)