Frank Emrich -

Not registered as user yet

Name:Frank Emrich

Affiliation:University of Edinburgh, UK

Contributions

ML 2020	Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track
ProWeb20	Author of Broken Links within the ProWeb 2020-track
PLDI 2020	Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track
ML 2019	Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track
TyDe 2019	Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track