
Registered user since Fri 6 Mar 2015
Name:James Cheney
Country:United Kingdom
Affiliation:University of Edinburgh; Alan Turing Institute
Personal website:http://homepages.inf.ed.ac.uk/jcheney/
Contributions
ICFP 2022 | Constraint-based type inference for FreezeML | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile