Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joris Ceulemans
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2020 profile
POPL 2025 profile
Registered user since Thu 25 Jul 2019
Name:
Joris Ceulemans
Country:
Belgium
Affiliation:
KU Leuven
Contributions
2025
POPL
Author of BiSikkel: A Multimode Logical Framework in Agda within the POPL-track
2020
TyDe
Author of Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract) within the TyDe 2020-track
2019
TyDe
Author of Reasoning about Effect Parametricity Using Dependent Types within the TyDe 2019-track
Share
x
Sun 22 Dec 14:12
