A Semantics for Static Type Inference (1993)

by Gordon Plotkin
Venue:Information and Computation