Subtyping recursive types

Publisher Website

1 January 1991

conference paper
Published by Association for Computing Machinery (ACM)

p. 104-118
https://doi.org/10.1145/99583.99600

Abstract

No abstract available

Keywords

PROGRAMMING LANGUAGE

Cited by 46 articles