
Registered user since Sat 18 Jul 2020
Name:James Lowenthal
Country:United Kingdom
Affiliation:University of Cambridge
Personal website:https://github.com/jmlowenthal/
Contributions
ICFP 2020 | Certified Optimisation of Stream Operations Using Heterogeneous Staging | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile