Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 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 ICFP Program-track
Show activities from other conferences

ICFP 2020-profile
View general profile