E. Allende, O. Callaú, J. Fabry, É. Tanter, and M. Denker, Gradual typing for Smalltalk, Science of Computer Programming, vol.96, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00862815

S. Bauman, C. F. Bolz-tereick, J. Siek, and S. Tobin-hochstadt, Sound gradual typing: Only mostly dead, Proc. ACM Program. Lang, vol.1, p.2017

G. Bierman, M. Abadi, and M. Torgersen, Understanding TypeScript, European Conference on Object-Oriented Programming, 2014.

M. Gavin, E. Bierman, M. Meijer, and . Torgersen, Adding dynamic types to C#, European Conference on Object-Oriented Programming (ECOOP), 2010.

B. Bloom, J. Field, N. Nystrom, J. Östlund, G. Richards et al., Thorn: Robust, concurrent, extensible scripting on the JVM, Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA), 2009.

G. Bracha, Pluggable type systems, OOPSLA 2004 Workshop on Revival of Dynamic Languages, 2004.

G. Bracha and D. Griswold, Strongtalk: Typechecking Smalltalk in a production environment, Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA), 1993.

L. Cardelli and . Amber, LITP Spring School on Theoretical Computer Science, pp.21-47, 1985.

G. Dubochet and M. Odersky, Compiling structural types on the JVM: A comparison of reflective and generative techniques from Scala's perspective, Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems (ICOOLPS), 2009.

R. Findler and M. Felleisen, Contracts for higher-order functions, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2002.

R. Bruce-findler, M. Flatt, and M. Felleisen, Semantic casts: Contracts and structural subtyping in a nominal world, European Conference on Object-Oriented Programming (ECOOP), 2004.

B. Greenman and M. Felleisen, A spectrum of soundness and performance, Proc. ACM PL (ICFP), 2018.

A. Igarashi, B. C. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Trans. Program. Lang. Syst, vol.23, issue.3, 2001.

T. Jones and D. J. Pearce, A mechanical soundness proof for subtyping over recursive types, Workshop on Formal Techniques for Java-like Programs (FTfJP), 2016.

F. Muehlboeck and R. Tate, Sound gradual typing is nominally alive and well, Proc. ACM Program. Lang, vol.1, p.2017

C. Benjamin, D. N. Pierce, and . Turner, Local type inference, Symposium on Principles of Programming Languages (POPL), 1998.

G. Richards, E. Arteca, and A. Turcotte, The VM already knew that: Leveraging compile-time knowledge to optimize gradual typing, Proc. ACM Program. Lang, vol.1, p.2017

G. Richards, F. Z. Nardelli, and J. Vitek, Concrete types for TypeScript, European Conference on Object-Oriented Programming (ECOOP), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01239167

J. Siek, Gradual typing for functional languages, Scheme and Functional Programming Workshop, 2006.

J. Siek and W. Taha, Gradual typing for objects, European Conference on Object-Oriented Programming (ECOOP), 2007.

J. G. Siek, M. M. Vitousek, M. Cimini, and J. T. Boyland, Refined criteria for gradual typing, Summit on Advances in Programming Languages (SNAPL), 2015.

B. Chung, P. Li, F. Z. Nardelli, and J. Vitek, , vol.12, p.25

A. Takikawa, D. Feltey, and B. Greenman, Is sound gradual typing dead?, Symposium on Principles of Programming Languages (POPL), 2016.
DOI : 10.1145/2914770.2837630
URL : http://dl.acm.org/ft_gateway.cfm?id=2837630&type=pdf

T. S. Asumu-takikawa, C. Strickland, S. Dimoulas, M. Tobin-hochstadt, and . Felleisen, Gradual typing for first-class classes, Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA), 2012.

, Dart programming language specification, 2016.

, The Facebook Hack Team. Hack, 2016.

S. Tobin, -. , and M. Felleisen, Interlanguage migration: from scripts to programs, Symposium on Dynamic languages (DLS), 2006.

S. Tobin, -. , and M. Felleisen, The design and implementation of typed Scheme, Symposium on Principles of Programming Languages (POPL), 2008.

M. Vitousek, A. Kent, J. Siek, and J. Baker, Design and evaluation of gradual typing for Python, Symposium on Dynamic languages (DLS), 2014.

M. Michael, C. Vitousek, J. G. Swords, and . Siek, Big types in little runtime: Open-world soundness and collaborative blame for gradual type systems, Symposium on Principles of Programming Languages, p.2017

T. Wrigstad, F. Z. Nardelli, S. Lebresne, J. Östlund, and J. Vitek, Integrating typed and untyped code in a scripting language, Symposium on Principles of Programming Languages (POPL), 2010.