Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pablo Barenbaum
conf.researchr.org general profile
APLAS 2023 profile
ICFP 2017 profile
Registered user since Fri 22 Sep 2023
Name:
Pablo Barenbaum
Affiliation:
Universidad Nacional de Quilmes (CONICET) & Universidad de Buenos Aires
Contributions
2023
APLAS
Author of A Diamond Machine for Strong Evaluation within the APLAS 2023-track
2017
ICFP
Author of Foundations of Strong Call by Need within the Research Papers-track
FSCD
Author of Optimality and the Linear Substitution Calculus within the FSCD 2017-track
Share
x
Tue 3 Dec 18:05