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].



< Previous Terms Terms Containing Russell Next Terms >
run-time support
run-time system
Run-Time Type Information
ruptime
RUSH
axiomatic set theory
Axiom of Choice
Axiom of Comprehension
Bertrand
Bertrand Russell
Russell, Bertrand
Russell's Attic
Russell's Paradox
rusty iron
rusty memory