# Proof of the principal type property for system O

Wehr, Martin; Odersky, Martin

Abstract:

We study a minimal extension of the Hindley/Milner system that