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
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. ,
Pluggable type systems, OOPSLA Workshop on Revival of Dynamic Languages, pp.1-6, 2004. ,
Hybrid type checking, ACM Transactions on Programming Languages and Systems, vol.32, issue.2, 2010. ,
DOI : 10.1145/1667048.1667051
Typed Scheme: From Scripts to Programs, 2010. ,
Combining static and dynamic typing in Ruby, 2009. ,
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. ,
Gradual typing for functional languages, Proceedings of the Scheme and Functional Programming Workshop, pp.81-92, 2006. ,
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
Smalltalk-80: The Language and its Implementation, 1983. ,
Well-Typed Programs Can???t Be Blamed, pp.1-16, 2009. ,
DOI : 10.1007/978-3-642-00590-9_1
Self type constructors, Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, OOPSLA '09, pp.263-282, 2009. ,
Contracts for higher-order functions, Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming, pp.48-59, 2002. ,
Exploring the Design Space of Higher-Order Casts, pp.17-31, 2009. ,
DOI : 10.1007/978-3-642-00590-9_2
Types and programming languages, 2002. ,
Gradual typing for generics, Proceedings of the 26th ACM SIGPLAN Conference on Object- Oriented Programming Systems, Languages and Applications, pp.609-624, 2011. ,
Logical types for untyped languages, Proceedings of the 15th ACM SIGPLAN Conference on Functional Programming, pp.117-128, 2010. ,
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
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
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
Is Structural Subtyping Useful? An Empirical Study, pp.95-111, 2009. ,
DOI : 10.1007/978-3-642-00590-9_8
The OCaml system release 3, Institut National de Recherche en Informatique et en Automatique, 2011. ,
Type systems The Computer Science and Engineering Handbook, Ch. 103, pp.2208-2236, 1997. ,
Programming with Ghosts, IEEE Software, vol.30, issue.1, pp.74-80, 2013. ,
DOI : 10.1109/MS.2012.49
Gradual Typestate, Proceedings of the 25th European Conference on Object-oriented Programming, pp.459-483, 2011. ,
DOI : 10.1109/TSE.1986.6312929
The strongtalk type system for smalltalk ,
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. ,
Type-checking smalltalk, SIGPLAN Not, pp.315-321, 1986. ,
DOI : 10.1145/960112.28728
Ts: an optimizing compiler for smalltalk, SIGPLAN Not, pp.18-26, 1988. ,
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
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
Fast type reconstruction for dynamically typed programming languages, DLS '09: Proceedings of the 5th symposium on Dynamic languages, pp.69-78, 2009. ,
RPython, Proceedings of the 2007 symposium on Dynamic languages , DLS '07, pp.53-64, 2007. ,
DOI : 10.1145/1297081.1297091
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
Integrating typed and untyped code in a scripting language, pp.377-388 ,
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
Threesomes, with and without blame, pp.365-376 ,
DOI : 10.1145/1707801.1706342
URL : http://ce.colorado.edu/Publications/stop09.pdf