, Python Enhancement Proposal, vol.484, pp.2018-2025

. Mypy, , pp.2018-2025

. Pytype, , pp.2018-2025

. Typeshed, , pp.2018-2025

R. Amadini, A. Jordan, G. Gange, F. Gauthier, P. Schachte et al., Combining String Abstract Domains for JavaScript Analysis: An Evaluation, TACAS (1), vol.10205, pp.41-57, 2017.

M. Amir, S. Ben-amram, and . Yoffe, A simple and efficient Union-Find-Delete algorithm, Theor. Comput. Sci, vol.412, issue.4-5, pp.487-492, 2011.

J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Foundations and Trends in Programming Languages, vol.2, pp.71-190, 2015.
URL : https://hal.archives-ouvertes.fr/inria-00528611

M. Bodin, A. Charguéraud, D. Filaretti, P. Gardner, S. Maffeis et al., A trusted mechanised JavaScript specification, POPL, pp.87-100, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00910135

P. Cousot, Types as Abstract Interpretations, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, pp.316-331, 1997.

P. Cousot and R. Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pp.238-252, 1977.

L. Fritz and J. Hage, Cost versus precision for approximate typing for Python, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, pp.89-98, 2017.

A. Fromherz, A. Ouadjaout, and A. Miné, Static Value Analysis of Python Programs by Abstract Interpretation, NASA Formal Methods-10th International Symposium, NFM 2018, vol.10811, pp.185-202, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01782390

R. Garcia, A. M. Clark, and É. Tanter, Abstracting gradual typing, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.429-442, 2016.

B. Hackett and S. Guo, Fast and precise hybrid type inference for JavaScript, PLDI, pp.239-250, 2012.

M. Hassan, C. Urban, M. Eilers, and P. Müller, MaxSMT-Based Type Inference for Python 3, CAV, vol.10982, pp.12-19, 2018.

A. Simon-holm-jensen, P. Møller, and . Thiemann, Type Analysis for JavaScript, SAS, vol.5673, pp.238-255, 2009.

F. Logozzo and H. Venter, RATA: Rapid Atomic Type Analysis by Abstract InterpretationApplication to JavaScript Optimization, CC, vol.6011, pp.66-83, 2010.

H. Oh, K. Heo, W. Lee, W. Lee, and K. Yi, Design and implementation of sparse global analyses for C-like languages, PLDI, pp.229-238, 2012.

J. G. Siek and W. Taha, Gradual Typing for Objects, ECOOP, vol.4609, pp.2-27, 2007.

F. Spoto, The Julia Static Analyzer for Java, SAS, vol.9837, pp.39-57, 2016.