FreezeML: Complete and Easy Type Inference for First-Class Polymorphism

Frank Emrich, Sam Lindley, Jan Stolarek +2

ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is l…