conf.researchr.org / Colin Johnson
Colin Johnson

Registered user since Wed 18 Jul 2018

Name:Colin Johnson
Affiliation:University of Kent

Contributions

ML4PL 2018 Author of Subtype Polymorphism à la carte via Machine Learning on Dependent Types within the ML4PL-track