## A. J. Kfoury, J. B. Wells

*A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order λ-Calculus*

LISP, 1994.

@inproceedings{LFP-1994-KfouryW, author = "A. J. Kfoury and J. B. Wells", booktitle = "{Proceedings of the 1994 ACM Conference on LISP and Functional Programming}", doi = "10.1145/182409.182456", isbn = "0-89791-643-3", pages = "196--207", publisher = "{ACM Press}", title = "{A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order λ-Calculus}", year = 1994, }