G. Bracha, Pluggable type systems, 2004.

C. Grothoff, J. Palsberg, and J. Vitek, Encapsulating objects with confined types, OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp.241-255, 2001.

F. Smith, D. Walker, and J. G. Morrisett, Alias Types, ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems, pp.366-381, 2000.
DOI : 10.1007/3-540-46425-5_24

T. Zhao, J. Noble, and J. Vitek, Scoped Types for Real-Time Java, 25th IEEE International Real-Time Systems Symposium, pp.241-251, 2004.
DOI : 10.1109/REAL.2004.51

T. Ekman and G. Hedin, Pluggable non-null types for Java, Proceedings of TOOLS Europe, 2007.

T. Allwood, Fleece, pluggable type checking for dynamic programming languages, 2006.

C. Andreae, J. Noble, S. Markstrum, and T. Millstein, A framework for implementing pluggable type systems, OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp.57-74, 2006.

S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. Black, Traits, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, pp.331-388, 2006.
DOI : 10.1145/1119479.1119483
URL : https://hal.archives-ouvertes.fr/inria-00403568

M. Denker, S. Ducasse, A. Lienhard, and P. Marschall, Sub-Method Reflection., The Journal of Object Technology, vol.6, issue.9, pp.231-251, 2007.
DOI : 10.5381/jot.2007.6.9.a14
URL : https://hal.archives-ouvertes.fr/inria-00556467

P. Marschall, Persephone: Taking Smalltalk reflection to the sub-method level, 2006.

J. Palsberg and M. I. Schwartzbach, Object-oriented type inference, Proceedings OOPSLA '91, pp.146-161, 1991.
DOI : 10.1145/118014.117965

B. Pierce, Types and Programming Languages, 2002.

N. Haldimann, TypePlug ? pluggable type systems for Smalltalk, 2007.

L. E. Alanko, Types and Reflection, 2004.

A. H. Borning and D. H. Ingalls, A type declaration and inference system for smalltalk, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, 1982.
DOI : 10.1145/582153.582168

R. E. Johnson, Type-checking Smalltalk, Proceedings OOPSLA '86, pp.315-321, 1986.
DOI : 10.1145/960112.28728

J. Graver, Type-Checking and Type-Inference for Object-Oriented Programming Languages, 1989.

J. Palsberg and M. I. Schwartzbach, Object-Oriented Type Systems, 1993.

G. Bracha and D. Griswold, Strongtalk, Proceedings OOPSLA '93, pp.215-230, 1993.
DOI : 10.1145/167962.165893

R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978.
DOI : 10.1016/0022-0000(78)90014-4

N. Suzuki, Inferring types in Smalltalk, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '81, pp.187-199, 1981.
DOI : 10.1145/567532.567553

O. Agesen, Concrete Type Inference: Delivering Object-Oriented Applications, 1996.

S. A. Spoon and O. Shivers, Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability, Proceedings of ECOOP'04, pp.51-74, 2004.
DOI : 10.1007/978-3-540-24851-4_3