Constructing type systems over an operational semantics (1992)

by Robert Harper
Venue:Journal of Symbolic Computation