kfwe93

A.J. Kfoury, J.B. Wells. A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order $\lambda$-Calculus. Research Report Boston University, No 93, November 1993.

Keyword

[ Parametricity ]

Contact

A. J. Kfoury
J. B. Wells

BibTex Reference

@TechReport{kfwe93,
   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},
   Number = {93},
   Institution = {Boston University},
   Month = {November},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)