An extension of system F with subtyping (1991)

by Luca Cardelli , Simone Martini , John C. Mitchell , Andre Scedrov
Venue:Information and Computation
Citations:110 - 11 self