Not registered as user yet

Name:Daniel Sainati
Affiliation:Cornell University

Contributions

SPLASH 2018 Author of LambdaLab: An Interactive Lambda-Calculus Reducer for Learning within the SPLASH-E-track