Boxy types: Inference for higherrank types and impredicativity (2006)

by D Vytiniotis, S Weirich, S Peyton Jones
Venue:Proc. ICFP 2006