Wobbly types: type inference for generalised algebraic data types - researchr publication

researchr

You are not signed in
Sign in
Sign up

Simon L. Peyton Jones, Geoffrey Washburn, Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, Microsoft Research, Computer and Information Science Department, Levine Hall, 3330 Walnut Street, Philadelphia, Pennsylvania, 19104-6389, July 2004.

Abstract is missing.

runs on WebDSL