Pebble - Polymorphic. "A Kernel Language for Abstract Data Types and
Modules", R.M. Burstall & B. Lampson, in Semantics of Data Types, LNCS 173,
Springer 1984.
Pebble Programming Language
http://www.programming-languages.co.uk/pebble.html
Large list of computer programming languages arranged alphabetically, with explanations.