Category:Polymorphism (computer science)

G

• Generic programming (1 C, 15 P)

• Polymorphism (computer science)

A

• Ad hoc polymorphism

B

• Bounded quantification

C

• Type variance

D

• Dynamic dispatch

F

• First-class polymorphism

G

• Generics in Java

H

• Higher-ranked polymorphism

I

• Impredicative polymorphism
• Intersection type
• Intersection type discipline

L

• Let-polymorphism

M

• Monomorphization
• Multiple dispatch

P

• Parametric polymorphism
• Parametricity
• Polymorphic recursion
• Polyvariance
• Predicate dispatch

R

• Row polymorphism

S

• Static dispatch
• Static polymorphism
• Subtyping
• System F

W

• Wildcard (Java)