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

dl.acm.org

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

books.google.com

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

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

doi.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.
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

"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

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

hdl.handle.net

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

indiana.edu

homes.soic.indiana.edu

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

infoq.com

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

inria.fr

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

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

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

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

developer.mozilla.org

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

perl6.org

docs.perl6.org

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

php.net

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

psu.edu

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

doc.rust-lang.org

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

semanticscholar.org

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

"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

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

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

"... 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

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