Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tomás Díaz
conf.researchr.org general profile
POPL 2020 profile
Registered user since Tue 17 Dec 2019
Name:
Tomás Díaz
Affiliation:
IMFD Chile
Contributions
2020
CPP
Author of A Mechanized Formalization of GraphQL within the CPP 2020-track
Share
x
Fri 19 Apr 19:56