A Semantics for Static Type Inference (1993)

by Gordon Plotkin
Venue:Information and Computation
Citations:11 - 0 self