TY  - RPRT
TI  - FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
AU  - Frank Emrich
AU  - Sam Lindley
AU  - Jan Stolarek
AU  - James Cheney
AU  - Jonathan Coates
PY  - 2020
DO  - 10.1145/3385412.3386003
UR  - https://arxiv.org/abs/2004.00396
ID  - 2004.00396
ER  -