Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program., 21(4-5):333-412, 2011.
@article{VytiniotisJSS11,
title = {{OutsideIn(X)} Modular type inference with local assumptions},
author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Tom Schrijvers and Martin Sulzmann},
year = {2011},
tags = {empirical, programming languages, type inference, rule-based, data-flow language, constraints, Haskell, type system, data-flow programming, data-flow, metatheory, systematic-approach, local type inference, domain-specific language},
researchr = {https://researchr.org/publication/VytiniotisJSS11},
cites = {0},
citedby = {0},
journal = {J. Funct. Program.},
volume = {21},
number = {4-5},
pages = {333-412},
}