A programmer’s reduction semantics for classes and mixins. Formal Syntax Semant (1999)

by M Flatt, S Krishnamurthi, M Felleisen
Venue:in Proceedings of Principles of Programming Languages