Sub:
[[parametric_polymorphism]]
{
Parametric polymorphism refers to the use of type variables in a strongly typed(strong_type strong_typing) language.[* https://foldoc.org/polymorphism]

[[parameter]]

https://foldoc.org/parametric+polymorphism

... Google:parametric.polymorphism Naver:parametric.polymorphism
}

[[polymorphic_lambda_calculus]]
{
MKLINK
[[람다대수,lambda_calculus]] - [[VG:람다대수,lambda_calculus]]
[[System_F]]

https://foldoc.org/polymorphic+lambda-calculus
... Google:polymorphic+lambda+calculus
}

MKLINK
[[디스패치,dispatch]]
 static_dispatch
 dynamic_dispatch
[[타입,type]]
[[type_system]]
[[상속,inheritance]]
{
단일상속 single_inheritance
 https://rosettacode.org/wiki/Inheritance/Single
다중상속 multiple_inheritance ?
 https://rosettacode.org/wiki/Inheritance/Multiple

}
오버로딩[[overloading]]
{
sometimes called '''ad-hoc polymorphism'''(즉석/임시 [[다형성,polymorphism]]?)[* https://foldoc.org/polymorphism]

'''Overloading''' means using the same syntax for different types.[* https://foldoc.org/polymorphism]
}

opp
[[단형성,monomorphism]]

----
[[WpKo:다형성_(컴퓨터_과학)]]
 = https://ko.wikipedia.org/wiki/다형성_%28컴퓨터_과학%29
[[WpEn:Polymorphism_(computer_science)]]
 = https://en.wikipedia.org/wiki/Polymorphism_%28computer_science%29

https://rosettacode.org/wiki/Polymorphism
https://foldoc.org/polymorphism

... Google:다형성 Naver:다형성
... Google:polymorphism Naver:polymorphism