An extension of system F with Subtyping. To appear in Information and Computation. Extended abstract (1991)

by L Cardelli, J C Mitchell, S Martini, A Scedrov
Venue:Theoretical Aspects of Computer Software