Subtyping recursive types

Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91 ◽

10.1145/99583.99600 ◽

1991 ◽

Cited By ~ 36

Author(s):

Roberto M. Amadio ◽

Luca Cardelli

Download Full-text