DuoTalk

A Smalltalk-like language with separate inheritance hierarchies for types and classes.

"Separation of Hierarchies in DuoTalk", C. Lunau, Journal of Object-Oriented Programming 2(2):20-26, 1989.