Pure type system (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Pure type system" in English language version.

refsWebsite

Global rank English rank

3doi.org

2^nd place

2semanticscholar.org

11^th place

8^th place

2psu.edu

207^th place

136^th place

2web.archive.org

1^st place

1archive.org

6^th place

1researchgate.net

120^th place

125^th place

1handle.net

102^nd place

76^th place

1uu.nl

2,467^th place

2,049^th place

1books.google.com

3^rd place

1ucsc.edu

3,619^th place

2,621^st place

1ru.nl

9,179^th place

6,972^nd place

1haskell.org

low place

7,198^th place

archive.org (Global: 6^th place; English: 6^th place)

Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. p. 466. ISBN 0-262-16209-1.

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

Sørensen, Morten Heine; Urzyczyn, Paweł (2006). "Pure type systems and the lambda cube § 14.7". Lectures on the Curry–Howard isomorphism. Elsevier. p. 358. ISBN 0-444-52077-5.

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

Barendregt, H. P. (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/s0956796800020025. hdl:2066/17240. S2CID 44757552.
Barthe, G.; Hatcliff, J.; Sørensen, M. H. (1997). "A Notion of Classical Pure Type System". Electronic Notes in Theoretical Computer Science. 6: 4–59. CiteSeerX 10.1.1.32.1371. doi:10.1016/S1571-0661(05)80170-7.
Borghuis, Tijn (1998). "Modal Pure Type Systems". Journal of Logic, Language and Information. 7 (3): 265–296. doi:10.1023/A:1008254612284. S2CID 5067584.

handle.net (Global: 102^nd place; English: 76^th place)

hdl.handle.net

Barendregt, H. P. (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/s0956796800020025. hdl:2066/17240. S2CID 44757552.

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

ghc.gitlab.haskell.org

https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/poly_kinds.html#overview-of-type-in-type

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

citeseerx.ist.psu.edu

Geuvers, H. (1993). Logics and Type Systems (PhD thesis). University of Nijmegen. CiteSeerX 10.1.1.56.7045.
Barthe, G.; Hatcliff, J.; Sørensen, M. H. (1997). "A Notion of Classical Pure Type System". Electronic Notes in Theoretical Computer Science. 6: 4–59. CiteSeerX 10.1.1.32.1371. doi:10.1016/S1571-0661(05)80170-7.

researchgate.net (Global: 120^th place; English: 125^th place)

Barendregt, H. P. (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/s0956796800020025. hdl:2066/17240. S2CID 44757552.

ru.nl (Global: 9,179^th place; English: 6,972^nd place)

cs.ru.nl

Yarrow

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

api.semanticscholar.org

Barendregt, H. P. (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/s0956796800020025. hdl:2066/17240. S2CID 44757552.
Borghuis, Tijn (1998). "Modal Pure Type Systems". Journal of Logic, Language and Information. 7 (3): 265–296. doi:10.1023/A:1008254612284. S2CID 5067584.

ucsc.edu (Global: 3,619^th place; English: 2,621^st place)

sage.soe.ucsc.edu

SAGE

uu.nl (Global: 2,467^th place; English: 2,049^th place)

people.cs.uu.nl

Jan-Willem Roorda; Johan Jeuring. "Pure Type Systems for Functional Programming". Archived from the original on 2011-10-02. Retrieved 2010-08-29. Roorda's masters' thesis (linked from the cited page) also contains a general introduction to pure type systems.

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

Jan-Willem Roorda; Johan Jeuring. "Pure Type Systems for Functional Programming". Archived from the original on 2011-10-02. Retrieved 2010-08-29. Roorda's masters' thesis (linked from the cited page) also contains a general introduction to pure type systems.
Henk 2000

Pure type system (English Wikipedia)

archive.org (Global: 6th place; English: 6th place)

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

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

handle.net (Global: 102nd place; English: 76th place)