Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov. An Extension of System F with Subtyping. Inf. Comput., 109(1/2):4-56, February/March 1994.
@article{CardelliMMS94,
title = {An Extension of System F with Subtyping},
author = {Luca Cardelli and Simone Martini and John C. Mitchell and Andre Scedrov},
year = {1994},
month = {February/March},
tags = {C++, subtyping},
researchr = {https://researchr.org/publication/CardelliMMS94},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {109},
number = {1/2},
pages = {4-56},
}