Not registered as user yet
Name: Kasper Svendsen
Affiliation: Aarhus University
Contributions
| HOPE 2016 | Author of A Logical Account of a Type-and-Effect System within the HOPE-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2016-profile
View general profile
View general profile