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.
Download
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.