Wim Vanderbauwhede -

Not registered as user yet

Name: Wim Vanderbauwhede

Affiliation: University of Glasgow

Contributions

PLACES 2019	Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track
ECOOP 2019	Author of A Typing Discipline for Hardware Interfaces within the Research Papers-track Author of A Typing Discipline for Hardware Interfaces within the Artifacts-track