(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]. (1995-03-27)

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ arg ] [ argument ] [ as ] [ at ] [ B ] [ b ] [ be ] [ Bertrand ] [ Bertrand Russell ] [ bi ] [ bignum ] [ by ] [ C ] [ ca ] [ cf ] [ ch ] [ cl ] [ class ] [ co ] [ com ] [ compact ] [ con ] [ continuation ] [ cr ] [ D ] [ de ] [ ding ] [ du ] [ ed ] [ eh ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ function ] [ functional ] [ functional language ] [ G ] [ ge ] [ gn ] [ gu ] [ h ] [ hm ] [ hr ] [ hu ] [ hue ] [ id ] [ il ] [ in ] [ io ] [ ir ] [ it ] [ J ] [ la ] [ language ] [ Lex ] [ lu ] [ lv ] [ ly ] [ ma ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ N ] [ na ] [ NC ] [ nc ] [ NCS ] [ ne ] [ nf ] [ ng ] [ nu ] [ om ] [ pa ] [ pe ] [ ph ] [ polymorphic ] [ pr ] [ pt ] [ query ] [ rc ] [ re ] [ ro ] [ ru ] [ S ] [ sc ] [ script ] [ se ] [ st ] [ T ] [ tar ] [ th ] [ tp ] [ tr ] [ tt ] [ type ] [ ua ] [ um ] [ us ] [ va ] [ value ] [ ve ] [ Z ]