Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carlos Tomé Cortiñas
conf.researchr.org general profile
ICFP 2018 profile
Registered user since Wed 6 Jun 2018
Name:
Carlos Tomé Cortiñas
Affiliation:
Utrecht University, Netherlands
Contributions
2018
TyDe
Author of From Algebra to Abstract Machine: A Verified Generic Construction within the TyDe 2018-track
Share
x
Sun 22 Dec 17:42