Not registered as user yet

Name: Daniel Sainati

Affiliation: Cornell University

Contributions

SPLASH 2018 LambdaLab: An Interactive Lambda-Calculus Reducer for Learning
Show activities from other conferences

SPLASH 2018-profile
View general profile