S. Kleinschmager, S. Hanenberg, R. Robbes, E. Tanter, and A. Stefik, Do static type systems improve the maintainability of software systems? An empiri- 780 cal study, IEEE 20th International Conference on Program Comprehension (ICPC), 2012, pp.2012-153

S. Spiza and S. Hanenberg, Type names without static type checking already improve the usability of APIs (as long as the type names are correct), Proceedings of the 13th international conference on Modularity, MODULARITY '14
DOI : 10.1145/2577080.2577098

R. Milner, A theory of type polymorphism in programming, Journal of Com- 790 puter and System Sciences, pp.348-375, 1978.
DOI : 10.1016/0022-0000(78)90014-4

O. Agesen, The Cartesian Product Algorithm, Proceedings ECOOP '95, pp.2-26, 1995.
DOI : 10.1007/3-540-49538-X_2

P. Rapicault, M. Blay-fornarino, S. Ducasse, and A. Dery, Dynamic type 795 inference to support object-oriented reengineering in Smalltalk, Proceedings of the ECOOP '98 International Workshop Experiences in Object- Oriented Reengineering, abstract in Object-Oriented Technology (ECOOP '98 Workshop Reader forthcoming LNCS), pp.76-77, 1998.

M. Salib, Faster than C: Static type inference with Starkiller, PyCon Proceedings, pp.2-26, 2004.

S. A. Spoon and O. Shivers, Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability, Proceedings of ECOOP'04, pp.51-74, 2004.
DOI : 10.1007/978-3-540-24851-4_3
URL : http://www.lexspoon.org/chuck/spoon-ecoop04.pdf

F. Pluquet, A. Marot, and R. Wuyts, Fast type reconstruction for dynamically typed programming languages, DLS '09: Proceedings of the 5th Symposium on Dynamic languages, pp.69-78, 2009.
DOI : 10.1145/1640134.1640145
URL : https://lirias.kuleuven.be/bitstream/123456789/241799/1/dls18-pluquet.pdf

D. An, A. Chaudhuri, J. Foster, and M. Hicks, Dynamic inference of static types for Ruby, Proceedings of the 38th ACM Symposium on Principles of 815 Programming Languages (POPL'11), pp.459-472, 2011.

E. Allende, O. Callaú, J. Fabry, É. Tanter, and M. Denker, Gradual typing for Smalltalk, Science of Computer Programmingdoi:10

M. P. Odgaard, JavaScript type inference using dynamic analysis, Master's thesis, 2014.

A. Aiken and B. Murphy, Static type inference in a dynamically typed language, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.279-290, 1991.
DOI : 10.1145/99583.99621

U. Hölzle and D. Ungar, Optimizing dynamically-dispatched calls with run-time 830 type feedback, Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, PLDI '94, pp.326-336, 1994.

N. Milojkovi´cmilojkovi´c and O. Nierstrasz, Exploring cheap type inference heuristics in dynamically typed languages, Proceedings of the 2016 ACM Interna- 835 tional Symposium on New Ideas, pp.43-56, 2016.

B. Livshits, M. Sridharan, Y. Smaragdakis, O. Lhoták, and J. N. Amaral, In defense of soundiness, defense of soundiness: A manifesto, pp.44-46, 2015.
DOI : 10.1145/2644805

L. P. Deutsch and A. M. Schiffman, Efficient implementation of the Smalltalk- 845 80 system, Proceedings POPL '84 Ecoop'91 european conference on object-oriented programming Proceedings of the European Conference on Object-Oriented Programming, pp.21-38, 1984.

B. Foote and R. E. Johnson, Reflective facilities in Smalltalk-80, Proceed- 855 ings OOPSLA '89, pp.327-336, 1989.
DOI : 10.1145/74878.74911
URL : ftp://www.laputan.org/pub/foote/Reflection.ps

N. Milojkovi´cmilojkovi´c, C. Béra, M. Ghafari, and O. Nierstrasz, Inferring types by mining class usage frequency from inline caches, Proceedings of International Workshop on Smalltalk Technologies, pp.1-6, 2016.

N. Milojkovi´cmilojkovi´c, A. Caracciolo, M. Lungu, O. Nierstrasz, D. Röthlisberger et al., Polymorphism in the spotlight: Studying its prevalence in Java and Smalltalk, Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, pp.186-195, 2015.

O. Agesen, J. Palsberg, and M. I. Schwartzbach, Type inference of SELF: Analysis of objects with dynamic and multiple inheritance, Proceedings ECOOP '93, pp.247-267, 1993.

A. Goldberg, D. Robson, D. Ungar, and R. B. Smith, Smalltalk 80: the Language and its Implementation URL http://stephane.ducasse.free.fr/FreeBooks Self: The power of simplicity, Proceedings OOP- SLA '87, pp.227-242, 1983.

J. Palsberg and M. I. Schwartzbach, Object-oriented type inference, Proceedings OOPSLA '91, pp.146-161, 1991.
DOI : 10.1145/118014.117965

N. Milojkovi´cmilojkovi´c, M. Ghafari, and O. Nierstrasz, Exploiting type hints in method argument names to improve lightweight type inference, 25th IEEE International Conference on Program Comprehension, 2017.

S. A. Spoon and O. Shivers, Dynamic data polyvariance using source-tagged classes, Proceedings of the 2005 conference on Dynamic languages symposium , DLS '05, pp.35-48, 2005.
DOI : 10.1145/1146841.1146845
URL : http://www.lexspoon.org/chuck/spoon05-ddpct.pdf

B. Spasojevi´cspasojevi´c, M. Lungu, and O. Nierstrasz, Mining the ecosystem to improve 890 type inference for dynamically typed languages, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! '14 PLDI '91: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pp.133-142, 1991.

B. Hackett and S. Guo, Fast and precise hybrid type inference for JavaScript, Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, pp.239-250
DOI : 10.1145/2254064.2254094
URL : http://rfrn.org/~shu/drafts/ti.pdf

S. Tobin-hochstadt and V. St-amour, The typed Racket guide

M. Furr, Combining static and dynamic typing in Ruby, 2009.

J. O. Graver and R. E. Johnson, A type system for Smalltalk, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.136-150, 1990.
DOI : 10.1145/96709.96722

C. F. Bolz, A. Cuni, M. Fijalkowski, and A. Rigo, Tracing the meta-level, Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS '09, pp.920-938, 2009.
DOI : 10.1145/1565824.1565827

M. Paleczny, C. Vick, and C. Click, The Java hotspot T M server compiler, Proceedings of the 2001 Symposium on Java T M Virtual Machine Research and Technology Symposium, pp.1-1, 2001.

. Google, Google's high performance, open source, javascript engine., https://developers.google.com/v8, 2008.

L. P. Deutsch and A. M. Schiffman, Efficient implementation of the smalltalk-80 system, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '84
DOI : 10.1145/800017.800542

U. Hölzle, C. Chambers, and D. Ungar, Optimizing Dynamically-Typed Object- Oriented Languages With Polymorphic Inline Caches, European Conference on Object-Oriented Programming, ECOOP '91, p.935, 1991.

A. Chi¸schi¸s, T. Gîrba, and O. Nierstrasz, The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers, Software Language Engineering, pp.102-121, 2014.
DOI : 10.1007/978-3-319-11245-9_6

M. Bolin, Closure: The Definitive Guide: Google Tools to Add Power to 950

Y. Javascript and O. Media, URL https, 2010.

Z. Xu, X. Zhang, L. Chen, K. Pei, and B. Xu, Python probabilistic type inference with natural language support, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, pp.607-618
DOI : 10.1007/3-540-36579-6_12

C. Souza and E. Figueiredo, How do programmers use optional typing? An empirical study, Proceedings of the 13th International Conference on 960
DOI : 10.1145/2577080.2582208

M. Faldborg, T. L. Nielsen, and B. Thomsen, Type systems and programmers: A look at optional typing in Dart, 2015.

]. B. Spasojevi´cspasojevi´c, M. Lungu, O. Nierstrasz, S. S. Shapiro, and M. B. Wilk, A case study on type hints in method argument names in Pharo Smalltalk projects An analysis of variance test for normality (complete samples), Proceedings of the 23rd IEEE International Conference on Software Analysis, pp.965-283, 2016.

P. Bunge, Scripting browsers with Glamour, Master's thesis, 2009.

S. Ducasse, T. Gîrba, M. Lanza, and S. Demeyer, Moose: a collaborative and extensible reengineering environment, Tools for Software Maintenance and Reengineering, RCOST / Software Technology Series, p.990

S. Ducasse, M. Lanza, and S. Tichelaar, Moose: an extensible languageindependent environment for reengineering object-oriented systems, Proceedings of CoSET '00 (2nd International Symposium on Constructing Soft- 995 ware Engineering Tools), 2000.

O. Callaú, R. Robbes, É. Tanter, D. Röthlisberger, A. Bergel et al., On the use of type predicates in object-oriented software: The case of Smalltalk Programming Ruby 1.9: The Pragmatic Programmers' Guide, Proceedings of the 10th ACM Dynamic Languages Symposium 1000 ACM Press Moose: an agile reengineering environment Proceedings of ESEC/FSE 2005, pp.135-146, 2005.

M. Hills, P. Klint, and J. J. Vinju, Scripting a refactoring with Rascal and Eclipse, Proceedings of the Fifth Workshop on Refactoring Tools, WRT '12, pp.40-49, 1010.
DOI : 10.1145/2328876.2328882
URL : https://hal.archives-ouvertes.fr/hal-00756879