Russell

Named for the British mathematician Bertrand Russell (1872-1970)

A. Demers & J. Donahue

A compact, polymorphically typed functional language, with bignums and continuations. Types are themselves first-class values and may be passed as arguments.

"An Informal Description of Russell", H. Boehm et al, Cornell CS TR 80-430, 1980.

"Understanding Russell: A First Attempt", J. G. Hook in Lecture Notes in Computer Science 173, Springer-Verlag.