(After Bertrand RuSSell) A compact, polymorphically typed functional language by A. DemerS & J. Donahue with bignumS and continuationS. TypeS are themSelveSfirSt-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]. (1995-03-27)