Russell
(After {Bertrand Russell}) A compact, {polymorphical}ly typed
{functional language} by A. Demers & J. Donahue with {bignum}s
and {continuation}s. Types are themselves {first-class}
values and may be passed as arguments.
{(ftp://parcftp.xerox.com/pub/russell/russell.tar.Z)}
["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].
(1995-03-27)