Parametric polymorphism (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Parametric polymorphism" in English language version.

Last modified: 21:52:28, 24 July 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

61books.google.com

3^rd place

44doi.org

2^nd place

33semanticscholar.org

15^th place

8^th place

22worldcat.org

4^th place

11upenn.edu

784^th place

498^th place

11web.archive.org

1^st place

11smlhelp.github.io

low place

11haskell.org

low place

11acm.org

1,200^th place

821^st place

11kseo.github.io

low place

11lucacardelli.name

low place

11psu.edu

299^th place

159^th place

acm.org (Global: 1,200^th place; English: 821^st place)

dl.acm.org

Mitchell, J. C.; Harper, R. (1988-01-13). "The essence of ML". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. New York, NY, USA: Association for Computing Machinery. pp. 28–46. doi:10.1145/73560.73563. ISBN 978-0-89791-252-5.

books.google.com (Global: 3^rd place; English: 3^rd place)

Benjamin C. Pierce (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8.

doi.org (Global: 2^nd place; English: 2^nd place)

Strachey, Christopher (1967), Fundamental Concepts in Programming Languages (Lecture notes), Copenhagen: International Summer School in Computer Programming. Republished in: Strachey, Christopher (1 April 2000). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation. 13 (1): 11–49. doi:10.1023/A:1010000313106. ISSN 1573-0557. S2CID 14124601.
Mitchell, J. C.; Harper, R. (1988-01-13). "The essence of ML". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. New York, NY, USA: Association for Computing Machinery. pp. 28–46. doi:10.1145/73560.73563. ISBN 978-0-89791-252-5.
Kfoury, A. J.; Wells, J. B. (1 January 1999). "Principality and decidable type inference for finite-rank intersection types". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery. pp. 161–174. doi:10.1145/292540.292556. ISBN 1581130953. S2CID 14183560.
Cardelli & Wegner 1985. Cardelli, Luca; Wegner, Peter (December 1985). "On Understanding Types, Data Abstraction, and Polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

haskell.org (Global: low place; English: low place)

"Haskell 2010 Language Report § 4.1.2 Syntax of Types". www.haskell.org. Retrieved 1 October 2022. With one exception (that of the distinguished type variable in a class declaration (Section 4.3.1)), the type variables in a Haskell type expression are all assumed to be universally quantified; there is no explicit syntax for universal quantification.

kseo.github.io (Global: low place; English: low place)

Kwang Yul Seo. "Kwang's Haskell Blog - Higher rank polymorphism". kseo.github.io. Retrieved 30 September 2022.

lucacardelli.name (Global: low place; English: low place)

Cardelli & Wegner 1985. Cardelli, Luca; Wegner, Peter (December 1985). "On Understanding Types, Data Abstraction, and Polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

psu.edu (Global: 299^th place; English: 159^th place)

citeseerx.ist.psu.edu

Cardelli & Wegner 1985. Cardelli, Luca; Wegner, Peter (December 1985). "On Understanding Types, Data Abstraction, and Polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Strachey, Christopher (1967), Fundamental Concepts in Programming Languages (Lecture notes), Copenhagen: International Summer School in Computer Programming. Republished in: Strachey, Christopher (1 April 2000). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation. 13 (1): 11–49. doi:10.1023/A:1010000313106. ISSN 1573-0557. S2CID 14124601.
Kfoury, A. J.; Wells, J. B. (1 January 1999). "Principality and decidable type inference for finite-rank intersection types". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery. pp. 161–174. doi:10.1145/292540.292556. ISBN 1581130953. S2CID 14183560.
Cardelli & Wegner 1985. Cardelli, Luca; Wegner, Peter (December 1985). "On Understanding Types, Data Abstraction, and Polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

smlhelp.github.io (Global: low place; English: low place)

Wu, Brandon. "Parametric Polymorphism - SML Help". smlhelp.github.io. Archived from the original on 1 October 2022. Retrieved 1 October 2022.

upenn.edu (Global: 784^th place; English: 498^th place)

seas.upenn.edu

Yorgey, Brent. "More polymorphism and type classes". www.seas.upenn.edu. Retrieved 1 October 2022.

web.archive.org (Global: 1^st place; English: 1^st place)

Wu, Brandon. "Parametric Polymorphism - SML Help". smlhelp.github.io. Archived from the original on 1 October 2022. Retrieved 1 October 2022.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Strachey, Christopher (1967), Fundamental Concepts in Programming Languages (Lecture notes), Copenhagen: International Summer School in Computer Programming. Republished in: Strachey, Christopher (1 April 2000). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation. 13 (1): 11–49. doi:10.1023/A:1010000313106. ISSN 1573-0557. S2CID 14124601.
Cardelli & Wegner 1985. Cardelli, Luca; Wegner, Peter (December 1985). "On Understanding Types, Data Abstraction, and Polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

Parametric polymorphism (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

dl.acm.org

books.google.com (Global: 3rd place; English: 3rd place)

doi.org (Global: 2nd place; English: 2nd place)

haskell.org (Global: low place; English: low place)

kseo.github.io (Global: low place; English: low place)

lucacardelli.name (Global: low place; English: low place)

psu.edu (Global: 299th place; English: 159th place)

citeseerx.ist.psu.edu

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

smlhelp.github.io (Global: low place; English: low place)

upenn.edu (Global: 784th place; English: 498th place)

seas.upenn.edu

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

acm.org (Global: 1,200^th place; English: 821^st place)

books.google.com (Global: 3^rd place; English: 3^rd place)

doi.org (Global: 2^nd place; English: 2^nd place)

psu.edu (Global: 299^th place; English: 159^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

upenn.edu (Global: 784^th place; English: 498^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 4^th place; English: 4^th place)