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