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

by Didier Remy, Jerome Vouillon
Venue:In Principles of Programming Languages (POPL),