conf.researchr.org / 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 |