This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis papers/275Boxy Types: Inference for Higher-Rank Types and

Cached


by Dimitrios Vytiniotis , Stephanie C. Weirich , Simon Peyton Jones , Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton Jones