conf.researchr.org / Jesper Cockx
Registered user since Mon 16 Nov 2015
Name:Jesper Cockx
Country:Netherlands
Affiliation:Delft University of Technology
Personal website: https://jesper.sikanda.be
Research interests:Type Theory, Dependently Typed Programming, Pattern Matching, Agda
Contributions
2026
Symposium on Practical Aspects of Declarative Languages
2025
International Conference on Program Comprehension
2024
Symposium on Practical Aspects of Declarative Languages
TyDe
2023
2022
Haskell
ICFP
WITS
- Organizer in Program Committee within the WITS 2022-track
- Session Chair of Session 4 (part of WITS 2022)
- Session Chair of Session 1 (part of WITS 2022)
- Chair of Elaborator reflection APIs (discussion) within the WITS 2022-track
- Session Chair of Session 5 (part of WITS 2022)
- Chair of Fancy module systems (discussion) within the WITS 2022-track
- Session Chair of Session 2 (part of WITS 2022)
- Session Chair of Session 3 (part of WITS 2022)