Boxy types: inference for higher-rank types and impredicativity.

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones

Browse the full ICFP paper archive.