Vouillon, "Objective ML: An effective object-oriented extension to ML," Theory And Practice of Objects Systems (1998)

by Didier Remy, Jerome