
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 | 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