An Extension of System F with Subtyping
(1994) : Cardelli, L. et al
DOI: https://doi.org/10.1006/inco.1994.1013
#subtyping #system_F #type_inference #my_bibtex