Definitions
Polymorphic Languages:
- Some values and variables may have more than one type
Polymorphic Functions:
- Functions whose operands (actual parameters) can have more than one type
Polymorphic Types:
- types whose operations are applicable to operands of more than one type