Type Inference for System F with and without the Eta Rule (1996)

by Joe B Wells