Positive subtyping

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199482 ◽

1995 ◽

Cited By ~ 7

Author(s):

Martin Hofmann ◽

Benjamin Pierce

Download Full-text