Jesper Cockx

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 18

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

ICFP

CoRR

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Jonathan Brouwer, Jesper Cockx, Aron Zwaan
Dependently Typed Languages in Statix. Eelco Visser Commemorative Symposium (2023)
Bohdan Liesnikov, Jesper Cockx
ExEl: Building an Elaborator Using Extensible Constraints. IFL (2023)
Lucas Escot, Jesper Cockx
Practical generic programming over a universe of native datatypes. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jeff Smits, Toine Hartman, Jesper Cockx
Optimising First-Class Pattern Matching. SLE (2022)
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell (2022)
Artjoms Sinkarovs, Jesper Cockx
Extracting the power of dependent types. GPCE (2021)
Artjoms Sinkarovs, Jesper Cockx
Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection. CoRR (2021)
Jesper Cockx, Nicolas Tabareau, Théo Winterhalter
The taming of the rew: a type theory with computational assumptions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler
Leibniz equality is isomorphic to Martin-Löf identity, parametrically. J. Funct. Program. 30 (2020)
Jesper Cockx, Andreas Abel
Elaborating dependent (co)pattern matching: No pattern left behind. J. Funct. Program. 30 (2020)
Gaëtan Gilbert, Jesper Cockx, Matthieu Sozeau, Nicolas Tabareau
Definitional proof-irrelevance without K. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jesper Cockx
Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules. TYPES (2019)
Jesper Cockx, Dominique Devriese
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. J. Funct. Program. 28 (2018)
Jesper Cockx, Andreas Abel
Elaborating dependent (co)pattern matching. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Jesper Cockx, Dominique Devriese
Lifting proof-relevant unification to higher dimensions. CPP (2017)
Thomas Winant, Jesper Cockx, Dominique Devriese
Expressive and strongly type-safe code generation. PPDP (2017)
Jesper Cockx, Dominique Devriese, Frank Piessens
Unifiers as equivalences: proof-relevant unification of dependently typed data. ICFP (2016)
Jesper Cockx, Dominique Devriese, Frank Piessens
Eliminating dependent pattern matching without K. J. Funct. Program. 26 (2016)
Jesper Cockx, Dominique Devriese, Frank Piessens
Pattern matching without K. ICFP (2014)
Jesper Cockx, Frank Piessens, Dominique Devriese
Overlapping and Order-Independent Patterns - Definitional Equality for All. ESOP (2014)

Jesper Cockx.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jesper Cockx