ENGLISH

The Definition of Standard ML

By Milner R. , Harper R. , Tofte M.

Book information

Publisher
MIT
Year
1990
ISBN
9780262132558, 9780262132558
Language
english
Format
DJVU
Filesize
679 kB (695786 bytes)
Edition
1ed
Pages
116\116
Library
Kolxo3
DPI
600
Time added
2011-07-22 07:35:22

Description

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.

Similar books