OutsideIn(X) Modular type inference with local assumptions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

Type Inference with Constrained TypesMartin Odersky, Martin Sulzmann, Martin Wehr. tapos, 5(1):35-55, 1999.

HM(X) type inference is CLP(X) solvingMartin Sulzmann, Peter J. Stuckey. JFP, 18(2):251-283, 2008. [doi]

A General Type Inference Framework for Hindley/Milner Style SystemsMartin Sulzmann. FLOPS 2001: 248-263 [doi]

The following are duplicate records for the exact same publication:

OutsideIn(X) Modular type inference with local assumptionsDimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. JFP, 21(4-5):333-412, 2011. [doi]

runs on WebDSL