Martín Abadi, Luca Cardelli. On Subtyping and Matching. In Walter G. Olthoff, editor, ECOOP 95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings. Volume 952 of Lecture Notes in Computer Science, pages 145-167, Springer, 1995. [doi]
Abstract is missing.