Pebble

A polymorphic language.

["A Kernel Language for Abstract Data Types and Modules", R.M. Burstall & B. Lampson, in Semantics of Data Types, LNCS 173, Springer 1984].

Nearby terms:
peak envelope power « Peano arithmetic « PEARL « Pebble » Pebbleman » PEBCAK » PEBKAC