このページのリンク

引用にはこちらのURLをご利用ください

利用統計

  • このページへのアクセス:19回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
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

類似資料