Technical Reports (CIS)

Practical Type Inference for Arbitrary-Rank Types: Technical Appendix

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.

Abstract

 

Date Posted: 26 October 2006