An Extension of Standard ML Modules with Subtyping and Inheritance.

John C. Mitchell, Sigurd Meldal, Neel Madhav

Browse the full POPL paper archive.