• Sign in
  • Sign up
conf.researchr.org / Joris Ceulemans
  • ICFP 2019 profile
  • ICFP 2020 profile
  • POPL 2025 profile
Joris Ceulemans

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
xFri 9 May 01:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up