Login / Signup
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus.
A. J. Kfoury
J. B. Wells
Published in:
LISP and Functional Programming (1994)
Keyphrases
</>
higher order
programming language
inference rules
lambda calculus