James Lowenthal -

Registered user since Sat 18 Jul 2020

Name:James Lowenthal

Country:United Kingdom

Affiliation:University of Cambridge

Personal website: https://github.com/jmlowenthal/

Contributions

2020

ICFP

Author of Certified Optimisation of Stream Operations Using Heterogeneous Staging within the Student Research Competition-track