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 | The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile