Objective ML: A Simple Object-Oriented Extension of ML

Didier Rémy, Jerome Vouillon. Objective ML: A Simple Object-Oriented Extension of ML. In POPL. pages 40-53, 1997. [doi]

Abstract

Abstract is missing.