Type system (English Wikipedia)

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

refsWebsite

Global rank English rank

3doi.org

2^nd place

3microsoft.com

153^rd place

151^st place

2books.google.com

3^rd place

2web.archive.org

1^st place

2psu.edu

207^th place

136^th place

2semanticscholar.org

11^th place

8^th place

2ecma-international.org

6,722^nd place

4,967^th place

2perl6.org

low place

1lucacardelli.name

low place

1worldcat.org

5^th place

1kent.ac.uk

6,512^th place

4,000^th place

1inria.fr

4,903^rd place

3,679^th place

1geeksforgeeks.org

low place

1acm.org

1,185^th place

840^th place

1handle.net

102^nd place

76^th place

1rust-lang.org

low place

8,052^nd place

1infoq.com

6,158^th place

4,128^th place

1mozilla.org

1,686^th place

1,293^rd place

1php.net

4,194^th place

3,676^th place

1bracha.org

low place

1stackoverflow.com

4,643^rd place

2,973^rd place

1stanford.edu

179^th place

183^rd place

1indiana.edu

2,113^th place

1,465^th place

1uchicago.edu

230^th place

214^th place

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

dl.acm.org

Wright, Andrew K. (1995). Practical Soft Typing (PhD). Rice University. hdl:1911/16900.

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

Nordström, B.; Petersson, K.; Smith, J.M. (2001). "Martin-Löf's Type Theory". Algebraic and Logical Structures. Handbook of Logic in Computer Science. Vol. 5. Oxford University Press. p. 2. ISBN 978-0-19-154627-3.
Barendregt, Henk; Dekkers, Wil; Statman, Richard (20 June 2013). Lambda Calculus with Types. Cambridge University Press. p. 66. ISBN 978-0-521-76614-2.

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

Bracha, G. "Pluggable Types" (PDF).

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

Xi, Hongwei (1998). Dependent Types in Practical Programming (PhD). Department of Mathematical Sciences, Carnegie Mellon University. CiteSeerX 10.1.1.41.548.
Xi, Hongwei; Pfenning, Frank (1999). "Dependent Types in Practical Programming". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 214–227. CiteSeerX 10.1.1.69.2042. doi:10.1145/292540.292560. ISBN 1581130953. S2CID 245490.
Kopylov, Alexei (2003). "Dependent intersection: A new way of defining records in type theory". 18th IEEE Symposium on Logic in Computer Science. LICS 2003. IEEE Computer Society. pp. 86–95. CiteSeerX 10.1.1.89.4223. doi:10.1109/LICS.2003.1210048.
Mitchell, John C.; Plotkin, Gordon D. (July 1988). "Abstract Types Have Existential Type" (PDF). ACM Trans. Program. Lang. Syst. 10 (3): 470–502. doi:10.1145/44501.45065. S2CID 1222153.

ecma-international.org (Global: 6,722^nd place; English: 4,967^th place)

"4.2.2 The Strict Variant of ECMAScript". ECMAScript® 2020 Language Specification (11th ed.). ECMA. June 2020. ECMA-262.
"8.2.4 Type system unification". C# Language Specification (5th ed.). ECMA. December 2017. ECMA-334.

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

Miglani, Gaurav (2018). "Dynamic Method Dispatch or Runtime Polymorphism in Java". Archived from the original on 2020-12-07. Retrieved 2021-03-28.

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

hdl.handle.net

Wright, Andrew K. (1995). Practical Soft Typing (PhD). Rice University. hdl:1911/16900.

indiana.edu (Global: 2,113^th place; English: 1,465^th place)

homes.soic.indiana.edu

Siek, Jeremy (24 March 2014). "What is gradual typing?".

infoq.com (Global: 6,158^th place; English: 4,128^th place)

Laucher, Amanda; Snively, Paul (2012). "Types vs Tests". InfoQ.

inria.fr (Global: 4,903^rd place; English: 3,679^th place)

gallium.inria.fr

"... any sound, decidable type system must be incomplete" —D. Remy (2017). p. 29, Remy, Didier. "Type systems for programming languages" (PDF). Archived from the original (PDF) on 14 November 2017. Retrieved 26 May 2013.

kent.ac.uk (Global: 6,512^th place; English: 4,000^th place)

cs.kent.ac.uk

Turner, D.A. (12 June 2012). "Some History of Functional Programming Languages" (PDF). invited lecture at TFP12, at St Andrews University. See the section on Algol 60.

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

Cardelli 2004, p. 1: "The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program." Cardelli, Luca (2004). "Type systems" (PDF). In Allen B. Tucker (ed.). CRC Handbook of Computer Science and Engineering (2nd ed.). CRC Press. ISBN 978-1584883609.

microsoft.com (Global: 153^rd place; English: 151^st place)

msdn.microsoft.com

"dynamic (C# Reference)". MSDN Library. Microsoft. Retrieved 14 January 2014.
"Strict Mode (JavaScript)". MSDN. Microsoft. Retrieved 2013-07-17.

research.microsoft.com

Meijer, Erik; Drayton, Peter. "Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages" (PDF). Microsoft Corporation.

mozilla.org (Global: 1,686^th place; English: 1,293^rd place)

developer.mozilla.org

"Strict mode – JavaScript". MDN. Developer.mozilla.org. 2013-07-03. Retrieved 2013-07-17.

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

docs.perl6.org

"Native Types". Perl 6 Documentation.
"Numerics, § Auto-boxing". Perl 6 Documentation.

php.net (Global: 4,194^th place; English: 3,676^th place)

"Strict typing". PHP Manual: Language Reference: Functions.

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

citeseerx.ist.psu.edu

Xi, Hongwei (1998). Dependent Types in Practical Programming (PhD). Department of Mathematical Sciences, Carnegie Mellon University. CiteSeerX 10.1.1.41.548.
Xi, Hongwei; Pfenning, Frank (1999). "Dependent Types in Practical Programming". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 214–227. CiteSeerX 10.1.1.69.2042. doi:10.1145/292540.292560. ISBN 1581130953. S2CID 245490.
Kopylov, Alexei (2003). "Dependent intersection: A new way of defining records in type theory". 18th IEEE Symposium on Logic in Computer Science. LICS 2003. IEEE Computer Society. pp. 86–95. CiteSeerX 10.1.1.89.4223. doi:10.1109/LICS.2003.1210048.

rust-lang.org (Global: low place; English: 8,052^nd place)

doc.rust-lang.org

"std::any — Rust". doc.rust-lang.org. Retrieved 2021-07-07.

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

api.semanticscholar.org

Xi, Hongwei (1998). Dependent Types in Practical Programming (PhD). Department of Mathematical Sciences, Carnegie Mellon University. CiteSeerX 10.1.1.41.548.
Xi, Hongwei; Pfenning, Frank (1999). "Dependent Types in Practical Programming". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 214–227. CiteSeerX 10.1.1.69.2042. doi:10.1145/292540.292560. ISBN 1581130953. S2CID 245490.
Mitchell, John C.; Plotkin, Gordon D. (July 1988). "Abstract Types Have Existential Type" (PDF). ACM Trans. Program. Lang. Syst. 10 (3): 470–502. doi:10.1145/44501.45065. S2CID 1222153.

stackoverflow.com (Global: 4,643^rd place; English: 2,973^rd place)

"Sure. It's called "gradual typing", and I would qualify it as trendy. ..." Is there a language that allows both static and dynamic typing?. stackoverflow. 2012.

stanford.edu (Global: 179^th place; English: 183^rd place)

theory.stanford.edu

Mitchell, John C.; Plotkin, Gordon D. (July 1988). "Abstract Types Have Existential Type" (PDF). ACM Trans. Program. Lang. Syst. 10 (3): 470–502. doi:10.1145/44501.45065. S2CID 1222153.

uchicago.edu (Global: 230^th place; English: 214^th place)

scheme2006.cs.uchicago.edu

Siek, Jeremy; Taha, Walid (September 2006). Gradual Typing for Functional Languages (PDF). Scheme and Functional Programming 2006. University of Chicago. pp. 81–92.

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

"... any sound, decidable type system must be incomplete" —D. Remy (2017). p. 29, Remy, Didier. "Type systems for programming languages" (PDF). Archived from the original (PDF) on 14 November 2017. Retrieved 26 May 2013.
Miglani, Gaurav (2018). "Dynamic Method Dispatch or Runtime Polymorphism in Java". Archived from the original on 2020-12-07. Retrieved 2021-03-28.

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

search.worldcat.org

Sethi, R. (1996). Programming languages: Concepts and constructs (2nd ed.). Addison-Wesley. p. 142. ISBN 978-0-201-59065-4. OCLC 604732680.

Type system (English Wikipedia)

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

dl.acm.org

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

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

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

ecma-international.org (Global: 6,722nd place; English: 4,967th place)

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

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

hdl.handle.net

indiana.edu (Global: 2,113th place; English: 1,465th place)

homes.soic.indiana.edu

infoq.com (Global: 6,158th place; English: 4,128th place)

inria.fr (Global: 4,903rd place; English: 3,679th place)

gallium.inria.fr

kent.ac.uk (Global: 6,512th place; English: 4,000th place)

cs.kent.ac.uk

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

microsoft.com (Global: 153rd place; English: 151st place)

msdn.microsoft.com

research.microsoft.com

mozilla.org (Global: 1,686th place; English: 1,293rd place)

developer.mozilla.org

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

docs.perl6.org

php.net (Global: 4,194th place; English: 3,676th place)

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

citeseerx.ist.psu.edu

rust-lang.org (Global: low place; English: 8,052nd place)

doc.rust-lang.org

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

api.semanticscholar.org

stackoverflow.com (Global: 4,643rd place; English: 2,973rd place)

stanford.edu (Global: 179th place; English: 183rd place)

theory.stanford.edu

uchicago.edu (Global: 230th place; English: 214th place)

scheme2006.cs.uchicago.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)

ecma-international.org (Global: 6,722^nd place; English: 4,967^th place)

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

indiana.edu (Global: 2,113^th place; English: 1,465^th place)

infoq.com (Global: 6,158^th place; English: 4,128^th place)

inria.fr (Global: 4,903^rd place; English: 3,679^th place)

kent.ac.uk (Global: 6,512^th place; English: 4,000^th place)

microsoft.com (Global: 153^rd place; English: 151^st place)

mozilla.org (Global: 1,686^th place; English: 1,293^rd place)

php.net (Global: 4,194^th place; English: 3,676^th place)

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

rust-lang.org (Global: low place; English: 8,052^nd place)

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

stackoverflow.com (Global: 4,643^rd place; English: 2,973^rd place)

stanford.edu (Global: 179^th place; English: 183^rd place)

uchicago.edu (Global: 230^th place; English: 214^th place)

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

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