(After Bertrand Russell) A compact, polymorphically typed functional language by A. Demers & J. Donahue 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 LNCS 173, Springer].

Last updated: 1995-03-27

Nearby terms:

ruptimeRUSHRussellRussell, BertrandRussell's AtticRussell's Paradox

Try this search on Wikipedia, Wiktionary, Google, OneLook.