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