Boxy types: type inference for higher-rank types and impredicativity (2006)

by Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
Venue:In ICFP ’06: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming