Jump to Content

On Subtyping and Matching

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

Abstract

Research Areas