On Subtyping and Matching

Luca Cardelli
ECOOP (1995), pp. 145-167

Abstract