Registered user since Wed 6 Jun 2018

Name: Carlos Tomé Cortiñas

Affiliation: Utrecht University, Netherlands

Contributions

TyDe 2018Author of From Algebra to Abstract Machine: A Verified Generic Construction within the TyDe 2018-track