![Gert-Jan Bottu](https://icfp19.sigplan.org/getProfileImage/gertjanbottu/d5623ee4-16bf-4907-b00f-903f31d1dae0/small.jpg?1712051665000)
Registered user since Fri 30 Jun 2017
Name:Gert-Jan Bottu
Country:Belgium
Affiliation:KU Leuven
Personal website: https://people.cs.kuleuven.be/~gert-jan.bottu/
Research interests:Functional Languages, Type Systems
Contributions
2019
ICFP 2019-profile
View general profile
View general profile