Practical type inference for arbitrary-rank types

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields. Practical type inference for arbitrary-rank types. Journal of Functional Programming, 17(1):1-82, 2007. [doi]

Abstract

Abstract is missing.