Wim Vanderbauwhede -

Not registered as user yet

Name: Wim Vanderbauwhede

Affiliation: University of Glasgow

Contributions

ECOOP 2020	Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track
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