
Registered user since Thu 25 Jul 2019
Name: Joris Ceulemans
Country: Belgium
Affiliation: KU Leuven
Contributions
TyDe 2019 | Reasoning about Effect Parametricity Using Dependent Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile