FreezeML: complete and easy type inference for first-class polymorphism. - Frank Emrich; Sam Lindley; Jan Stolarek; James Cheney; Jonathan Coates (PLDI, 2020)