
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