Parametric polymorphism (English Wikipedia)

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

refsWebsite

Global rank English rank

4doi.org

2^nd place

3semanticscholar.org

11^th place

8^th place

2worldcat.org

5^th place

1books.google.com

3^rd place

1upenn.edu

702^nd place

520^th place

1web.archive.org

1^st place

1smlhelp.github.io

low place

1haskell.org

low place

7,198^th place

1acm.org

1,185^th place

840^th place

1kseo.github.io

low place

1lucacardelli.name

low place

1psu.edu

207^th place

136^th place

acm.org (Global: 1,185^th place; English: 840^th 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.

haskell.org (Global: low place; English: 7,198^th 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.

psu.edu (Global: 207^th place; English: 136^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.

semanticscholar.org (Global: 11^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.

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: 702^nd place; English: 520^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: 5^th place; English: 5^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.

Parametric polymorphism (English Wikipedia)

acm.org (Global: 1,185th place; English: 840th 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: 7,198th place)

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

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

psu.edu (Global: 207th place; English: 136th place)

citeseerx.ist.psu.edu

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

api.semanticscholar.org

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

upenn.edu (Global: 702nd place; English: 520th place)

seas.upenn.edu

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

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

search.worldcat.org

acm.org (Global: 1,185^th place; English: 840^th place)

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

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

haskell.org (Global: low place; English: 7,198^th place)

psu.edu (Global: 207^th place; English: 136^th place)

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

upenn.edu (Global: 702^nd place; English: 520^th place)

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

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