Cited By
View all- Bruce KMitchell JSethi R(1992)PER models of subtyping, recursive types and higher-order polymorphismProceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/143165.143230(316-327)Online publication date: 1-Feb-1992