polymorphism

dz / types / type_theory / polymorphism

Subgraphs

• subtyping

Node Tree

• ad_hoc
• parametric
• subtyping
  • covariance_contravariance

Nodes

subtyping
children	subtyping/covariance_contravariance
parents	types/type_theory/polymorphism
hyperlink	https://en.wikipedia.org/wiki/Subtyping
location	knowledge/type_systems.dz:11

parametric
parents	types/type_theory/polymorphism
hyperlink	https://en.wikipedia.org/wiki/Parametric_polymorphism
location	knowledge/type_systems.dz:19

ad_hoc
parents	types/type_theory/polymorphism
hyperlink	https://en.wikipedia.org/wiki/Ad_hoc_polymorphism
location	knowledge/type_systems.dz:23