Statistics
Publications
7
Citations
155
H-Index
7
Active since
2014
Jesper Cockx is an author at KU Leuven specializing in type systems, type checking, and computer science.
Publications per year
2014–2021
7
7
Definitional proof-irrelevance without K
Gaëtan Gilbert, Jesper Cockx, Matthieu Sozeau et al. · Proceedings of the ACM on Programming Languages · 2019 · 49 citations · Full text
Jesper Cockx, Dominique Devriese, Frank Piessens · 2014 · 29 citations · Full text
1–5 of 7