Pebble

A polymorphic language.

"A Kernel Language for Abstract Data Types and Modules", R. M. Burstall & B. Lampson, in Semantics of Data Types, G. Kahn et al eds, Lecture Notes in Computer Science 173, Springer-Verlag, 1984.