<図書>
Functional programming with Hope
責任表示 | Roger Bailey |
---|---|
シリーズ | Ellis Horwood series in computers and their applications |
データ種別 | 図書 |
出版者 | New York : Ellis Horwood |
出版年 | 1990 |
本文言語 | 英語 |
大きさ | xii, 301 p. : ill. ; 25 cm |
概要 | The Hope language combines the simple semantics of functional languages with many features now considered essential in a modern programming language, such as strong type checking, user-defined data ty...es and modular program construction. This volume illustrates all features of the Hope language, emphasizing systematic program design and analysis, and using term rewriting as a model of execution. Includes exercises with solutions. No previous knowledge of computers is assumed. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
中央図 2A | 007.6/B 14/1 | 1990 |
|
068582190016647 |
|
書誌詳細
一般注記 | Includes bibliographical references and index |
---|---|
著者標目 | *Bailey, Roger |
件 名 | LCSH:Functional programming (Computer science) LCSH:Hope (Computer program language) |
分 類 | LCC:QA76.62 DC20:005.1/1 |
書誌ID | 1000001560 |
ISBN | 0133382370 |
NCID | BA12188969 |
巻冊次 | ISBN:0133382370 ; PRICE:£45.00 ; XISBN:0745803490 |
登録日 | 1991.09.19 |
更新日 | 1997.10.14 |