A Polymorphic -calculus with Type:Type (1986)

by L Cardelli
Venue:DEC SRC, 130 Lytton Avenue, Palo Alto, CA 94301. May. SRC Research Report