Kim B. Bruce, John C. Mitchell. PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. In POPL. pages 316-327, 1992.
@inproceedings{BruceM92, title = {PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism}, author = {Kim B. Bruce and John C. Mitchell}, year = {1992}, tags = {C++, subtyping}, researchr = {https://researchr.org/publication/BruceM92}, cites = {0}, citedby = {0}, pages = {316-327}, booktitle = {POPL}, }