Type inference for higher-rank types and impredicativity


Simon Peyton Jones, simonpj@microsoft.com