The definition of Standard ML
著者
書誌事項
The definition of Standard ML
MIT Press, c1990
- : pbk
大学図書館所蔵 件 / 全22件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliograhical references: p. [87]-89
Includes index
内容説明・目次
- 巻冊次
-
ISBN 9780262132558
内容説明
This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics.
- 巻冊次
-
: pbk ISBN 9780262631327
内容説明
This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. ML is the most well-developed and prominent of a new group of functional programming languages. On the cutting edge of theoretical computer science, ML embodies the ideas of static typing and polymorphism and has also contributed a number of novel ideas to the design of programming languages.Contents: Syntax of the Core. Syntax of Modules. Static Semantics for the Core. Static Semantics for Modules. Dynamic Semantics for Modules. Programs.Appendixes: Derived Forms. Full Grammar. The Initial Static Basis. The Initial Dynamic Basis. The Development of ML.
「Nielsen BookData」 より