Pluggable type systems, OOPSLA Workshop on Revival of Dynamic Languages, 2004. ,
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. ,
Alias Types, Proceedings of the 9th European Symposium on Programming Languages and Systems, pp.366-381, 2000. ,
DOI : 10.1007/3-540-46425-5_24
Scoped Types for Real-Time Java, 25th IEEE International Real-Time Systems Symposium, pp.241-251, 2004. ,
DOI : 10.1109/REAL.2004.51
Pluggable checking and inferencing of nonnull types for Java., The Journal of Object Technology, vol.6, issue.9, pp.455-475, 2007. ,
DOI : 10.5381/jot.2007.6.9.a23
Fleece, pluggable type checking for dynamic programming languages, Master's thesis, Imperial College of Science, Technology and Medicine, 2006. ,
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. ,
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
Sub-Method Reflection., Proceedings of TOOLS Europe, pp.231-251, 2007. ,
DOI : 10.5381/jot.2007.6.9.a14
URL : https://hal.archives-ouvertes.fr/inria-00556467
Object-oriented type inference, Proceedings OOPSLA '91, pp.146-161, 1991. ,
DOI : 10.1145/118014.117965
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.9764
Types and Programming Languages, 2002. ,
Types and reflection, 2004. ,
A type declaration and inference system for smalltalk, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.133-141, 1982. ,
DOI : 10.1145/582153.582168
Type-checking Smalltalk, Proceedings OOPSLA '86, pp.315-321, 1986. ,
DOI : 10.1145/960112.28728
Type-checking and type-inference for object-oriented programming languages, 1989. ,
Object-Oriented Type Systems, 1993. ,
Strongtalk, Proceedings OOPSLA '93, pp.215-230, 1993. ,
DOI : 10.1145/167962.165893
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
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
Concrete type inference: Delivering object-oriented applications, 1996. ,
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
RoelTyper, a fast type reconstructor for Smalltalk, 2005. ,