The Definition of Standard Ml - Brossura

Tofte, Mads; Milner, Robin; Harper, Robert

 
9780262631327: The Definition of Standard Ml

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Milner Robin Tofte Mads Harper Robert

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780262631815: The Definition of Standard Ml

Edizione in evidenza

ISBN 10:  0262631814 ISBN 13:  9780262631815
Casa editrice: Mit Pr, 1997
Brossura