A. J. Kfoury, J. B. Wells. A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. In LISP and Functional Programming, Pages 196-207, 1994.
[ Parametricity ]
@InProceedings{kfwe94,
Author = {Kfoury, A. J. and Wells, J. B.},
Title = {A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus},
BookTitle = {LISP and Functional Programming},
Pages = {196--207},
Year = {1994}
}
Get EndNote Reference (.ref)