ETAPS 2019 (series) / Wim Vanderbauwhede
Not registered as user yet
Name:Wim Vanderbauwhede
Affiliation:University of Glasgow
Contributions
PLACES 2019 | Value-Dependent Session Design in a Dependently Typed Language | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile