Practical type inference for arbitrary-rank types (2011) [pdf]research.microsoft.com1 pointdkarapetyan11 years ago