Optimal Representations of Polymorphic Types with Subtyping Alexander AikenEdward L. WimmersJens Palsberg OriginalPaper Pages: 237 - 282