Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

September 2005


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.



Date Posted: 26 October 2006