An extension of system F with subtyping (1991)

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