Russell
(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.
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)
Nearby terms:
Run-Time Type Information « ruptime « RUSH «
Russell
» Russell, Bertrand » Russell's Attic » Russell's
Paradox
|
