Efficient Inference of Object Types (1995)

by Jens Palsberg
Venue:Information and Computation