Gradual typing (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Gradual typing" in English language version.

refsWebsite

Global rank English rank

4doi.org

2^nd place

2umd.edu

1,747^th place

1,277^th place

2neu.edu

low place

7,273^rd place

2github.com

383^rd place

320^th place

2godotengine.org

low place

1indiana.edu

2,113^th place

1,465^th place

1researchgate.net

120^th place

125^th place

1uchicago.edu

230^th place

214^th place

1semanticscholar.org

11^th place

8^th place

1bu.edu

2,120^th place

1,328^th place

1acm.org

1,185^th place

840^th place

1au.dk

8,222^nd place

8,022^nd place

1php.net

4,194^th place

3,676^th place

1mypy-lang.org

low place

1pyre-check.org

low place

1microsoft.com

153^rd place

151^st place

1onux.com

low place

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

dl.acm.org

Feldthaus, Asger; Møller, Anders (2014). "Checking correctness of TypeScript interfaces for JavaScript libraries". Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. Portland, Oregon, USA: ACM Press. pp. 1–16. doi:10.1145/2660193.2660215. ISBN 978-1-4503-2585-1.

au.dk (Global: 8,222^nd place; English: 8,022^nd place)

cs.au.dk

Feldthaus, Asger; Møller, Anders (2014). "Checking correctness of TypeScript interfaces for JavaScript libraries". Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. Portland, Oregon, USA: ACM Press. pp. 1–16. doi:10.1145/2660193.2660215. ISBN 978-1-4503-2585-1.

bu.edu (Global: 2,120^th place; English: 1,328^th place)

open.bu.edu

Oliart, Alberto (1994). An Algorithm for Inferring Quasi-Static Types (Technical report). Boston University. 1994-013.

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

Thatte, Satish (1990). "Quasi-static typing". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 367–381. doi:10.1145/96709.96747. ISBN 978-0897913430. S2CID 8725290.
Siek, Jeremy; Taha, Walid (August 2007). "Gradual Typing for Objects". ECOOP 2007 – Object-Oriented Programming. Lecture Notes in Computer Science. Vol. 4609. Springer. pp. 2–27. doi:10.1007/978-3-540-73589-2_2. ISBN 978-3-540-73588-5.
Feldthaus, Asger; Møller, Anders (2014). "Checking correctness of TypeScript interfaces for JavaScript libraries". Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. Portland, Oregon, USA: ACM Press. pp. 1–16. doi:10.1145/2660193.2660215. ISBN 978-1-4503-2585-1.
Swamy, N.; Fournet, C.; Rastogi, A.; Bhargavan, K.; Chen, J.; Strub, P. Y.; Bierman, G. (2014). "Gradual typing embedded securely in JavaScript" (PDF). Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14. pp. 425–437. doi:10.1145/2535838.2535889. ISBN 9781450325448.

github.com (Global: 383^rd place; English: 320^th place)

Chas Emerick. "Typed Clojure User Guide". GitHub.
"type-system-j". GitHub.

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

docs.godotengine.org

"Static typing in GDScript". Godot Engine documentation. Retrieved 2025-10-25.
"GDScript reference". Godot Engine documentation. Retrieved 2025-10-25.

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

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

msdn.microsoft.com

"dynamic (C# Reference)". MSDN Library. Microsoft. Retrieved 14 January 2014.

mypy-lang.org (Global: low place; English: low place)

Jukka Lehtosalo. "mypy - Optional Static Typing for Python".

neu.edu (Global: low place; English: 7,273^rd place)

www2.ccs.neu.edu

Tobin-Hochstadt, Sam; Felleisen, Matthias. "Interlanguage Migration: From Scripts to Programs". Proceedings of the Symposium on Object-Oriented Programming Systems, Companion Volume. Portland, OR. Tobin-Hochstadt06. Retrieved 2020-11-06.
Tobin-Hochstadt, Sam; Felleisen, Matthias. "The Design and Implementation of Typed Scheme". Proceedings of the Principles of Programming Languages. San Diego, CA. Tobin-Hochstadt08. Retrieved 2020-11-06.

onux.com (Global: low place; English: low place)

"The JS++ Type System, Appendix B: Problems (Why was this hard to solve?)". Retrieved 10 February 2020.

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

secure.php.net

"PHP: Function arguments - Manual » Strict typing".

pyre-check.org (Global: low place; English: low place)

"Pyre - A performant type-checker for Python 3".

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

Bracha, Gilad (2004). "Pluggable Type Systems". OOPSLA'04 Workshop on Revival of Dynamic Languages.

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

api.semanticscholar.org

Thatte, Satish (1990). "Quasi-static typing". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 367–381. doi:10.1145/96709.96747. ISBN 978-0897913430. S2CID 8725290.

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.

umd.edu (Global: 1,747^th place; English: 1,277^th place)

cs.umd.edu

Swamy, N.; Fournet, C.; Rastogi, A.; Bhargavan, K.; Chen, J.; Strub, P. Y.; Bierman, G. (2014). "Gradual typing embedded securely in JavaScript" (PDF). Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14. pp. 425–437. doi:10.1145/2535838.2535889. ISBN 9781450325448.
Aseem Rastogi; Avik Chaudhuri; Basil Hosmer (January 2012). "The Ins and Outs of Gradual Type Inference" (PDF). Association for Computing Machinery (ACM). Retrieved 2014-09-23.

Gradual typing (English Wikipedia)

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

dl.acm.org

au.dk (Global: 8,222nd place; English: 8,022nd place)

cs.au.dk

bu.edu (Global: 2,120th place; English: 1,328th place)

open.bu.edu

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

github.com (Global: 383rd place; English: 320th place)

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

docs.godotengine.org

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

homes.soic.indiana.edu

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

msdn.microsoft.com

mypy-lang.org (Global: low place; English: low place)

neu.edu (Global: low place; English: 7,273rd place)

www2.ccs.neu.edu

onux.com (Global: low place; English: low place)

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

secure.php.net

pyre-check.org (Global: low place; English: low place)

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

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

api.semanticscholar.org

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

scheme2006.cs.uchicago.edu

umd.edu (Global: 1,747th place; English: 1,277th place)

cs.umd.edu

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

au.dk (Global: 8,222^nd place; English: 8,022^nd place)

bu.edu (Global: 2,120^th place; English: 1,328^th place)

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

github.com (Global: 383^rd place; English: 320^th place)

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

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

neu.edu (Global: low place; English: 7,273^rd place)

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

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

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

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

umd.edu (Global: 1,747^th place; English: 1,277^th place)