Objective ML: An Effective Object-Oriented Extension to ML (1998) [pdf]caml.inria.fr3 pointsswatson741a year ago