Objective ML: A Simple Object-Oriented Extension of ML.

Didier Rmy, Jerome Vouillon

Browse the full POPL paper archive.