Didier Rémy Jerome Vouillon Objective ML: A Simple Object-Oriented Extension of ML. 40-53 1997 POPL db/conf/popl/popl97.html#RemyV97 http://doi.acm.org/10.1145/263699.263707