Summary Of: Type polymorphism

Encyclodia Page On: Type polymorphism

These Are Links To Other Documents

| confusing or unclear | clarify the article | talk page | computer science | programming language | data types | functions | list | Christopher Strachey | Ad-hoc polymorphism | John C. Reynolds | Jean-Yves Girard | polymorphic lambda calculus | System F | object-oriented programming | type theory | object inheritance | superclass | method overloading | statically typed | functional programming languages | generic programming | Parametric polymorphism | type-safety | parametric | ML | Standard ML | OCaml | Haskell | Visual Prolog | Java | C# | prenex | type inference | first-class polymorphism | type theory | typed λ-calculi | lambda cube | System F | Martin-Löf Type Theory | NuPRL | Standard ML | Haskell | type class | subtypes | Generic programming | subtypes | Liskov substitution principle | black box | identity | abstract data type | abstract class | Scheme programming language | numerical tower | Object-oriented programming languages | subclassing | inheritance | virtual table | late binding | single dispatch | CLOS | multiple dispatch | | disputed | talk page | ad-hoc | dispatch | compiler | interpreter | object-oriented programming | operators | operator overloading | late binding | integer | floating-point | type coercion | list | concatenation | string | Haskell | Override polymorphism in object-oriented programming | Parameteric Polymorphism | Polymorphism in object-oriented programming | Duck typing | Polymorphic code | System F | lambda calculus | Virtual inheritance | Categories | Functional programming | Object-oriented programming | Wikipedia articles needing clarification | Accuracy disputes from March 2008 |