Objective ML: A Simple Object-Oriented Extension of ML (1997)

by D Rémy, J Vouillon
Venue:In Proceedings of POPL’97