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].
(1995-01-26)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Peano « Peano arithmetic « PEARL « Pebble » Pebbleman » PEBCAK » PEBKAC
