Proof of the principal type property for system O. Technical report, Universitat Karlsruhe, Interner Bericht 16/96 (1996)

by M Wehr, M Odersky