R. Cartwright and M. Fagan, Soft typing, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, PLDI '91, pp.278-292, 1991.
DOI : 10.1145/989393.989435

G. Bracha and D. Griswold, Strongtalk: Typechecking Smalltalk in a production environment, Proceedings of the 8th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 95, pp.215-230, 1993.

G. Bracha, Pluggable type systems, OOPSLA Workshop on Revival of Dynamic Languages, pp.1-6, 2004.

K. Knowles and C. Flanagan, Hybrid type checking, ACM Transactions on Programming Languages and Systems, vol.32, issue.2, 2010.
DOI : 10.1145/1667048.1667051

S. Tobin-hochstadt, Typed Scheme: From Scripts to Programs, 2010.

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

A. Rastogi, A. Chaudhuri, and B. Hosmer, The ins and outs of gradual type inference, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.481-494, 2012.

J. Siek and W. Taha, Gradual typing for functional languages, Proceedings of the Scheme and Functional Programming Workshop, pp.81-92, 2006.

J. Siek and W. Taha, Gradual Typing for Objects, Proceedings of the 21st European Conference on Objectoriented Programming no. 4609 in Lecture Notes in Computer Science, pp.2-27, 2007.
DOI : 10.1007/978-3-540-73589-2_2

A. Goldberg and D. Robson, Smalltalk-80: The Language and its Implementation, 1983.

P. Wadler and R. B. Findler, Well-Typed Programs Can???t Be Blamed, pp.1-16, 2009.
DOI : 10.1007/978-3-642-00590-9_1

C. Saito and A. Igarashi, Self type constructors, Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, OOPSLA '09, pp.263-282, 2009.

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

J. Siek, R. Garcia, and W. Taha, Exploring the Design Space of Higher-Order Casts, pp.17-31, 2009.
DOI : 10.1007/978-3-642-00590-9_2

B. C. Pierce, Types and programming languages, 2002.

L. Ina and A. Igarashi, Gradual typing for generics, Proceedings of the 26th ACM SIGPLAN Conference on Object- Oriented Programming Systems, Languages and Applications, pp.609-624, 2011.

M. Tobin-hochstadt and . Felleisen, Logical types for untyped languages, Proceedings of the 15th ACM SIGPLAN Conference on Functional Programming, pp.117-128, 2010.

A. Guha, C. Saftoiu, and S. Krishnamurthi, Typing Local Control and State Using Flow Analysis, Proceedings of the 20th European Symposium on Programming (ESOP 2011), pp.256-275, 2011.
DOI : 10.1007/3-540-48092-7_6

N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black, Traits: Composable Units of Behaviour, Proceedings of the 17th European Conference on Object-Oriented Programming no. 2743 in Lecture Notes in Computer Science, pp.248-274, 2003.
DOI : 10.1007/978-3-540-45070-2_12

D. Malayeri and J. Aldrich, Integrating Nominal and Structural Subtyping, Proceedings of the 22nd European Conference on Object-oriented Programming no. 5142 in Lecture Notes in Computer Science, pp.260-284, 2008.
DOI : 10.1007/978-3-540-70592-5_12

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.7120

D. Malayeri and J. Aldrich, Is Structural Subtyping Useful? An Empirical Study, pp.95-111, 2009.
DOI : 10.1007/978-3-642-00590-9_8

D. Doligez, A. Frisch, J. Garrigue, D. Rémy, and J. Vouillon, The OCaml system release 3, Institut National de Recherche en Informatique et en Automatique, 2011.

L. Cardelli, Type systems The Computer Science and Engineering Handbook, Ch. 103, pp.2208-2236, 1997.

]. O. Callaú and ´. E. Tanter, Programming with Ghosts, IEEE Software, vol.30, issue.1, pp.74-80, 2013.
DOI : 10.1109/MS.2012.49

R. Wolff, R. Garcia, ´. E. Tanter, and J. Aldrich, Gradual Typestate, Proceedings of the 25th European Conference on Object-oriented Programming, pp.459-483, 2011.
DOI : 10.1109/TSE.1986.6312929

G. Bracha, The strongtalk type system for smalltalk

S. Tobin-hochstadt, V. St-amour, ´. E. Figueroa, N. Tanter, and . Tabareau, The typed racket guide, http://docs.racket-lang.org/ts-guide/. [30] I A practical monadic aspect weaver, Proceedings of the 11th Workshop on Foundations of Aspect-Oriented Languages, pp.21-26, 2012.

R. E. Johnson, Type-checking smalltalk, SIGPLAN Not, pp.315-321, 1986.
DOI : 10.1145/960112.28728

R. E. Johnson, J. O. Graver, and L. W. Zurawski, Ts: an optimizing compiler for smalltalk, SIGPLAN Not, pp.18-26, 1988.

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

N. Haldiman, M. Denker, and O. Nierstrasz, Practical, pluggable types for a dynamic language, Computer Languages, Systems & Structures, vol.35, issue.1, pp.48-62, 2009.
DOI : 10.1016/j.cl.2008.06.003

URL : https://hal.archives-ouvertes.fr/inria-00555441

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.

D. Ancona, M. Ancona, A. Cuni, and N. D. Matsakis, RPython, Proceedings of the 2007 symposium on Dynamic languages , DLS '07, pp.53-64, 2007.
DOI : 10.1145/1297081.1297091

C. Anderson, S. Drossopoulou, and P. Giannini, Towards Type Inference for JavaScript, Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP 2005), no. 3586 in Lecture Notes in Computer Science, pp.428-452, 2005.
DOI : 10.1007/11531142_19

T. Wrigstad, F. Zappa-nardelli, S. Lebresne, J. Ostlund, and J. Vitek, Integrating typed and untyped code in a scripting language, pp.377-388

D. Herman, A. Tomb, and C. Flanagan, Space-efficient gradual typing, Higher-Order and Sympolic Computation, pp.167-189, 2010.
DOI : 10.1007/s10990-011-9066-z

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.2706

J. Siek and P. Wadler, Threesomes, with and without blame, pp.365-376
DOI : 10.1145/1707801.1706342

URL : http://ce.colorado.edu/Publications/stop09.pdf