O. Agesen, The Cartesian Product Algorithm, Proceedings of the 9th European Conference o n Object-Oriented P r o gramming ECOOP'95, p.226, 1995.
DOI : 10.1007/3-540-49538-X_2

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

A. V. Aho and J. D. Ullman, Principles of Compiler Design, 1977.

D. Corney and J. Gough, Type Test Elimination using Typeeow Analysis, PLSA 1994 International Conference, p.137150, 1994.
DOI : 10.1007/3-540-57840-4_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.2552

J. Graver and R. Johnson, A type system for Smalltalk, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, p.139150, 1990.
DOI : 10.1145/96709.96722

B. Meyer, Eiiel, The Language, 1994.

R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, p.348375, 1978.
DOI : 10.1016/0022-0000(78)90014-4

J. Palsberg and M. I. Schwartzbach, Object-Oriented Type Inference, Proceedings of 6th Annual ACM Conference on Object-Oriented P r o gramming Systems , Languages and ApplicationsOOPSLA'91, p.146161, 1991.
DOI : 10.7146/dpb.v20i345.6575
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.9764

B. Stroustrup, The C++ Programming Language. A ddison-Wesley Series in Computer Science, 1986.

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

N. Suzuki and M. Terada, Creating EEcient System for Object-Oriented Languages, Eleventh Annual ACM Symposium on the Principles of Programming Languages, p.290296, 1984.

J. Vitekn, N. Horspool, and J. S. Uhl, Compile-Time Analysis of Object-Oriented Programs, International Conference on Compiler Construction, p.237250, 1992.