Practical type inference for arbitrary-rank types (2005)

by Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton-jones
Venue:Journal of Functional Programming
Citations:91 - 23 self

Document Versions

Practical type inference for arbitrary-rank types –Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones — 2005 — Journal of Functional Programming
Practical type inference for arbitrary-rank types –Simon Peyton Jones, Stephanie Weirich, Mark Shields, et al. — 2006
Practical Type Inference For Arbitrary-Rank Types –Simon Peyton Jones, Mark Shields — 2004
Practical type inference for arbitrary-rank types. Submitted to the Journal of Functional Programming –Dimitrios Vytiniotis, Stephanie C. Weirich, Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones — 2005