Polymorphic methods with self types for ML-like languages (1995)

by Dominic Duggan