School

A Smalltalk-like but strongly typed language, with separate inheritance hierarchies for types and classes.

"Types in School", N. de la Rocque Rodriguez et al, SIGPLAN Notices 28(8):81-89 (Aug 1993)