• Sign in
  • Sign up
conf.researchr.org / Wim Vanderbauwhede
  • ECOOP 2019 profile
  • ETAPS 2019 profile
  • SPLASH 2020 profile

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

Share
xSat 6 Mar 13:34
using conf.researchr.org (v1.43.2)
Support page
Sign Up