article

OUTSIDEIN(X): modular type inference with local assumptions

Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers, Martin Sulzmann (2011) JOURNAL OF FUNCTIONAL PROGRAMMING

Reference details