Not registered as user yet
Name: Jerry Swan
Affiliation: University of York
Contributions
ML4PL 2018 | Author of Subtype Polymorphism à la carte via Machine Learning on Dependent Types within the ML4PL-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP and ISSTA-profile
View general profile
View general profile