Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Álvaro García Perez
conf.researchr.org general profile
ICFP 2020 profile
POPL 2020 profile
Not registered as user yet
Name:
Álvaro García Perez
Affiliation:
IMDEA Software Institute
Personal website:
http://babel.ls.fi.upm.es/~agarcia/
Contributions
ICFP 2020
Author of The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus within the ICFP Program-track
PEPM 2020
Committee Member in Program Committee within the PEPM 2020-track
Share
x
Tue 30 May 12:43