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

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