Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
September 2005
Recommended Citation
Dimitrios Vytiniotis, Stephanie C. Weirich, and Simon Peyton Jones, "Practical Type Inference for Arbitrary-Rank Types: Technical Appendix", . September 2005.
Date Posted: 26 October 2006
Comments
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.