An extension of Standard ML modules with subtyping and inheritance (1991)

by J Mitchell, S Meldal, N Madhav
Venue:In Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages