conf.researchr.org / Álvaro García Perez

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