Skip to main content
Practical Type Inference for Arbitrary-Rank Types: Technical Appendix
Technical Reports (CIS)
  • Dimitrios Vytiniotis, University of Pennsylvania
  • Stephanie C Weirich, University of Pennsylvania
  • Simon Peyton Jones, Microsoft Research
Document Type
Technical Report
Date of this Version
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-05-14.

Article referred to in Technical Appendix: Practical type inference for arbitrary-rank types
Simon Peyton-Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
Journal of Functional Programming, Forthcoming article, doi: 10.1017/S0956796806006034, Published online by Cambridge University Press 09 Jun 2006.
Citation Information
Dimitrios Vytiniotis, Stephanie C Weirich and Simon Peyton Jones. "Practical Type Inference for Arbitrary-Rank Types: Technical Appendix" (2005)
Available at: