FreezeML: complete and easy type inference for first-class polymorphism.

Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates

Browse the full PLDI paper archive.