PER models of subtyping, recursive types and higher-order polymorphism

Publisher Website

1 January 1992

conference paper
conference paper
Published by Association for Computing Machinery (ACM)

p. 316-327
https://doi.org/10.1145/143165.143230

Abstract

No abstract available

Keywords

Cited by 31 articles