Álvaro García Perez -

Not registered as user

Name:Álvaro García Perez

Affiliation:IMDEA Software Institute

Personal website: http://babel.ls.fi.upm.es/~agarcia/

Contributions

2020

ICFP

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

Committee Member in Program Committee within the PEPM 2020-track