Kosmix
One sec... we're building your guide for
Type Polymorphism
Type polymorphism
Not looking for Type polymorphism? See
Polymorphism in object-oriented programming
Overview
Main ›
Tweets
Twitter.com
One sec... we're getting the
Tweets
More from Twitter.com »
Related in the Kosmos
?
Type theory
(73)
Abstract data type
Substitutability
Subtyping
Type checking
Type classes
Type classes
Type inference
Type safe
Type system
Weak typing
Abstract type
Algebraic data type
Automath
Axiom of reducibility
Bottom type
Calculus of constructions
Calculus of inductive constructions
Composite data type
Container (Type theory)
Covariance and contravariance (computer science)
Curry–Howard correspondence
Dependent type
Duck typing
Effect system
Enumerated type
Generalized algebraic data type
Higher-order abstract syntax
Initial algebra
Intuitionistic type theory
Kind (type theory)
LF (logical framework)
Lambda cube
Linear type system
Liskov substitution principle
Manifest typing
Mathematical structure
New Foundations
Nominative type system
Open/closed principle
Option type
Ordered pair
POPLmark challenge
Parametricity
Principal type
Principia Mathematica
Product type
Prototype-based programming
Pure type system
Recursive data type
Reference type
Setoid
Signedness
Strongly typed programming language
Structural type system
System F
System F-sub
Tagged union
Top type
Trait (abstract type)
Traits class
Tuple
Twelf
Type constructor
Type conversion
Type inhabitation
Type signature
Type soundness
Type variable
Typed lambda calculus
Typeful programming
Uniqueness type
Unit type
Variable (programming)
Void type
more...
Functional programming
Higher order functions
Combinatory logic
Type classes
Data types
Datatypes
Primitive types
Type system
Abstract data type
Subtyping
Type classes
Object-oriented programming
Dynamic binding (computer science)
Substitutability
Subtyping
Type system
Dynamically typed
Static type
Type checking
Type system (Compatibility: equivalence and subtyping)
Type system (Existential types)
Type system (Static and dynamic typing)
See also
(20)
Parametric polymorphism
Polymorphic code
Compatibility equivalence
Typed and untyped languages
Compile time
Compile time
Compiler
C++
Polymorphism in object-oriented programming
Virtual inheritance
Pattern matching
Exception handling
Allele
Non-strict
Var(X)
Monadic predicate calculus
SNPs
Module system
Poker
Abstractions
Inheritance
more...
more categories...
