Example image of eyePlorer eyePlorer map for 'Type polymorphism': Computer science Data type Programming language Subroutine List (computing) Christopher Strachey Jean-Yves Girard John C. Reynolds System F Object-oriented programming Type theory Method overloading Functional programming Type system Generic programming Type safety Parametric Ada (programming language) C++ Haskell (programming language) Objective Caml Standard ML Visual Prolog C Sharp (programming language) Java (programming language) Visual Basic .NET Prenex normal form Type inference Type polymorphism Intuitionistic type theory Lambda cube NuPRL Typed lambda calculus Type class Subtype polymorphism Liskov substitution principle Black box Identity (object-oriented programming) Abstract data type Abstract type Numerical tower Scheme (programming language) Inheritance (object-oriented programming) Subclass (computer science) Virtual method table Dynamic binding (computer science) Dynamic dispatch Common Lisp Object System Multiple dispatch Ad hoc
Disclaimer