The Definition of Standard Ml
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.
Best prices to buy, sell, or rent ISBN 9780262631327
Related Books
- 1
- 2
- 3
- The Definition of Standard ML - RevisedMilner, Robin; Harper, Robert; MacQueen, DavidEdition:Revised ed.ISBN-13:9780262631815
- The Definition of Standard MlMilner, Robin; Harper, Robert; Tofte, MadsISBN-13:9780262132558
- The Definition of Standard MLMilner, Robin; Harper, Robert; Tofte, Mads; MacQueen, DavidEdition:revised editionISBN-13:9780262287005
- The Definition of Standard ML - RevisedMilner, Robin; Harper, Robert; MacQueen, DavidEdition:Revised ed.ISBN-13:9780262631815
- The Definition of Standard MlMilner, Robin; Harper, Robert; Tofte, MadsISBN-13:9780262132558
Frequently Asked Questions about The Definition of Standard Ml
The price for the book starts from $13.94 on Amazon and is available from 4 sellers at the moment.
If you’re interested in selling back the The Definition of Standard Ml book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the The Definition of Standard Ml book, the best buyback offer comes from and is $ for the book in good condition.
Not enough insights yet.
Not enough insights yet.