On Subtyping and Matching

Luca Cardelli
ACM Trans. Program. Lang. Syst., 18(1996), pp. 401-423

Abstract

Research Areas