Modular type inference with local assumptions: OutsideIn(X) This epic 73-page paper (JFP style) brings together our work on type inference for type functions, GADTS, and the like, in a single uniform framework. Version 3 (camera ready copy for JFP) is very substantially revised compared to the May 2010 version. OutsideIn(X) - Modular type inference with local assumptions: PDF Related papers (const