Jesper Cockx

Jesper Cockx is an author at KU Leuven specializing in type systems, type checking, and computer science.

Publications per year

2014–2021

7

Publications

7