… Languages supporting polymorphism typically have ad-hoc restrictions on where polymorphic types may occur. Supporting ``first-class'' polymorphism, by lifting … and impredicative polymorphism that improves on earlier proposals …
ICFP 2008: 295-306 [doi]… and polymorphism in order to take advantage of them. In comparable scenarios, where … of polymorphism provide significant advantages. These advantages range from …
foiks 2010: 114-132 [doi]… propose safe reflection through polymorphism, \ie by unifying the interface …
In CASTA '09: Proceedings of the first international workshop on Context-aware software technology and applications. 2009: [doi]