The Definition of Standard Ml
Mads Tofte; Robin Milner; Robert Harper
ISBN 10: 0262631326 ISBN 13: 9780262631327
Published by Mit Pr, 1990
Used
Paperback
From
ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 2 July 2009
This specific item is no longer available.
About this Item
Description:
Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0262631326I5N00
Synopsis:
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.
About the Author: David MacQueen is Professor of Computer Science at the University of Chicago.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: The Definition of Standard Ml
Publisher: Mit Pr
Publication Date: 1990
Binding: Paperback
Condition: Fair
Dust Jacket Condition: No Jacket