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)

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ B ] [ b ] [ bs ] [ C ] [ ch ] [ D ] [ du ] [ er ] [ es ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ K ] [ la ] [ language ] [ Lex ] [ ly ] [ M ] [ ma ] [ man ] [ mo ] [ mod ] [ module ] [ mp ] [ N ] [ na ] [ NC ] [ NCS ] [ ne ] [ ng ] [ pe ] [ ph ] [ polymorphic ] [ pr ] [ query ] [ rc ] [ re ] [ S ] [ se ] [ so ] [ st ] [ T ] [ tr ] [ ua ]