An extension of Stmdarcl hiL modules with subtyping and inheritance (1991)

by John Mitchell, Sigurd Meldal, Neel Madhav
Venue:In Conference record of the Eighteenth Anrruol ACM Synlposiuln on Principles of Programming Lanouages