itarticle parametricity – logical equivalence for polymorphic typesparametricity – logical equivalence for polymorphic types Extension to Polymorphic Types Logical Equivalence of Polymorphic Types Main Theorm Existential Type 0
itarticle polymorphic functional programmingpolymorphic functional programming System F (Girard|Reynolds) Polymorphism Existential Type 0