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