type_theory

dz / types / type_theory

Subgraphs

• polymorphism

Node Tree

• polymorphism
  • ad_hoc
  • parametric
  • subtyping

Nodes

polymorphism
children	polymorphism/ad_hoc, polymorphism/parametric, polymorphism/subtyping
parents	types/type_theory
hyperlink	https://en.wikipedia.org/wiki/Polymorphism_(computer_science)
location	knowledge/type_systems.dz:7