翻訳と辞書 |
Russell (After Bertrand Russell) A compact, {polymorphical}ly 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)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|