conf.researchr.org / Pablo Nogueira
Registered user since Mon 13 Jul 2020
Name:Pablo Nogueira
Country:Spain
Affiliation:ESNE University School of Design, Innovation and Technology
Personal website:http://babel.ls.fi.upm.es/~pablo
Research interests:Functional programming and lambda calculus, logic in computer science
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 |