Joris Ceulemans

Software Languages Lab
doctoral student, Informatics and Applied Informatics
Faculty of Sciences and Bioengineering Sciences

https://orcid.org/0000-0001-9582-0789

Pleinlaan 2
1050 Brussels
Belgium
Pleinlaan 2
1050 Brussel
Belgium

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity per year

If you made any changes in Pure these will be visible here soon.

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

1 Active

FWOTM978: Effect Parametricity in Dependently-Typed Languages
Devriese, D. & Ceulemans, J.
1/11/19 → 31/10/21
Project: Fundamental

2 Unpublished abstract

Shallowly Embedding Type Theories as Presheaf Models in Agda: Extended Abstract
Ceulemans, J. & Devriese, D., 23 Aug 2020. 3 p.
Research output: Unpublished contribution to conference › Unpublished abstract

Open Access
File
Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types
Ceulemans, J., Nuyts, A. & Devriese, D., 18 Aug 2019. 3 p.
Research output: Unpublished contribution to conference › Unpublished abstract

1 Talk or presentation at a workshop/seminar

Reasoning about Effect Parametricity Using Dependent Types
Joris Ceulemans (Speaker)
18 Aug 2019
Activity: Talk or presentation › Talk or presentation at a workshop/seminar

Your message has successfully been sent.

Your message was not sent due to an error.

If you made any changes in Pure these will be visible here soon.