On subtyping and matching (1995)

by Mart n Abadi, Luca Cardelli
Venue:In Proceedings ECOOP '95