Department of Computer & Information Science

Technical Reports (CIS)

TITLE:
Practical Type Inference for Arbitrary-Rank Types: Technical Appendix

AUTHOR(S):
Dimitrios Vytiniotis, University of Pennsylvania
Stephanie C. Weirich, University of Pennsylvania
Simon Peyton-Jones, Microsoft Research

DOCUMENT TYPE: Technical Report

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