An Extended Polymorphic Type System for Applicative Languages.

Mario Coppo

Browse the full MFCS paper archive.