Dr. J.G.H. (Jesper) Cockx
Dr. J.G.H. (Jesper) Cockx
Expertise
Publications
-
2023
Dependently Typed Languages in Statix
Jonathan Brouwer / Jesper Cockx / Aron Zwaan
-
2022
Optimising First-Class Pattern Matching
J. Smits / Toine Hartman / Jesper Cockx
-
2022
Practical generic programming over a universe of native datatypes
Lucas Escot / Jesper Cockx
-
2021
Extracting the power of dependent types
Artjoms Šinkarovs / Jesper Cockx
-
2021
The taming of the Rew
A type theory with computational assumptions
Jesper Cockx / Nicolas Tabareau / Théo Winterhalter -
Ancillary activities
-
2023-02-16 - 2025-02-16