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

by J Mitchell, S Meldal, N Madhav
Venue:In POPL