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