First-class polymorphism

From Wikipedia, the free encyclopedia

Merge arrows
 It has been suggested that this article or section be merged with Type polymorphism. (Discuss)
The introduction to this article provides insufficient context for those unfamiliar with the subject.
Please help improve the article with a good introductory style.

Also known as impredicative polymorphism. Impredicative polymorphism allows the instantiation of a variable in a type with the type itself.

 This article does not cite any references or sources. (September 2007)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.
Comp Sci logo This computer programming-related article is a stub. You can help Wikipedia by expanding it.