Not registered as user yet

Name: Jonathan Coates

Affiliation: University of Edinburgh, UK

Contributions

PLDI 2020 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track