Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joris Ceulemans
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2020 profile
Registered user since Thu 25 Jul 2019
Name:
Joris Ceulemans
Country:
Belgium
Affiliation:
KU Leuven
Contributions
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
Tue 5 Nov 14:27