S. Bauman, C. F. Bolz-tereick, J. G. Siek, and S. Tobin-hochstadt, Sound gradual typing: Only mostly dead, PACMPL, vol.1, p.54, 2017.

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

A. Bonnaire-sergeant, R. Davies, and S. Tobin-hochstadt, Practical optional types for Clojure, ESOP 2016, pp.68-94, 2016.

G. Castagna, Covariance and controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers), Logical Methods in Computer Science, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02183397

G. Castagna and V. Lanvin, Gradual typing with union and intersection types, PACMPL, vol.1, p.41, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01643309

G. Castagna, K. Nguyen, Z. Xu, and P. Abate, Polymorphic functions with settheoretic types: Part 2: Local type inference and type reconstruction, POPL '15, vol.50, pp.289-302, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00880744

G. Castagna, V. Lanvin, T. Petrucciani, and J. G. Siek, Gradual typing: a new perspective, PACMPL, vol.3, p.16, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02183382

W. Clinger, Proper tail recursion and space efficiency, PLDI '98, 1998.

, Facebook. Flow documentation

. Facebook, Hack documentation

D. Feltey, B. Greenman, C. Scholliers, R. B. Findler, and V. St-amour, Collapsible contracts: Fixing a pathology of gradual typing, PACMPL, vol.2, p.27, 2018.

R. B. Findler and M. Felleisen, Contracts for higher-order functions, ICFP '02, pp.48-59, 2002.

A. Frisch, G. Castagna, and V. Benzaken, Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types, Journal of the ACM (JACM), vol.55, issue.4, p.19, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00336120

M. Greenberg, Space-efficient manifest contracts, POPL '15, pp.181-194, 2015.

F. Henglein, Dynamic typing: syntax and proof theory, Science of Computer Programming, vol.22, issue.3, pp.197-230, 1994.

D. Herman, A. Tomb, and C. Flanagan, Space-efficient gradual typing. Higher-Order and Symbolic Computation, vol.23, p.167, 2010.

M. Keil and P. Thiemann, Blame assignment for higher-order contracts with intersection and union, ICFP 2015, pp.375-386, 2015.

A. Kuhlenschmidt, D. Almahallawi, and J. G. Siek, Toward efficient gradual typing for structural types via coercions, PLDI '19, 2019.

J. Lehtosalo and D. J. Greaves, Language with a pluggable type system and optional runtime monitoring of type errors, Workshop on Scripts to Programs (STOP), 2011.

A. Rastogi, N. Swamy, C. Fournet, G. Bierman, and P. Vekris, Safe & efficient gradual typing for TypeScript, POPL '15, pp.167-180, 2015.

G. Richards, F. Z. Nardelli, and J. Vitek, Concrete types for TypeScript, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01239167

J. G. Siek and R. Garcia, Interpretations of the gradually-typed lambda calculus, Workshop on Scheme and Functional Programming, pp.68-80, 2012.

J. G. Siek and W. Taha, Gradual typing for functional languages, Scheme and Functional Programming Workshop, vol.6, pp.81-92, 2006.

J. G. Siek and M. Vachharajani, Gradual typing with unification-based inference, Symposium on Dynamic languages, p.7, 2008.

J. G. Siek and P. Wadler, Threesomes, with and without blame, POPL 2010, pp.365-376, 2010.

J. G. Siek, P. Thiemann, and P. Wadler, Blame and coercion: together again for the first time, PLDI '15, pp.425-435, 2015.

A. Takikawa, D. Feltey, B. Greenman, M. S. New, J. Vitek et al., Is sound gradual typing dead, POPL '16, pp.456-468, 2016.

S. Tobin-hochstadt and M. Felleisen, Interlanguage migration: from scripts to programs, DSL '06, pp.964-974, 2006.

S. Tobin, -. Hochstadt, and M. Felleisen, The design and implementation of Typed Scheme, POPL '08, pp.395-406, 2008.

M. M. Vitousek, A. M. Kent, J. G. Siek, and J. Baker, Design and evaluation of gradual typing for Python, DSL '14, pp.45-56, 2014.