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