Boxy types: type inference for higherrank types and impredicativity (2006)

by D Vytiniotis, S Weirich, S P Jones
Venue:In ICFP ’06: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming