Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
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 2020Author of The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus within the JFP Talks-track
Show activities from other conferences

Using general profile