2005-08-21 Objective ML: An effective object-oriented extension to ML truby http://pauillac.inria.fr/~remy/publications.html