The Definition of Standard ML Book + PRICE WATCH * Amazon pricing is not included in price watch

The Definition of Standard ML Book

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.Read More

from£14.17 | RRP: £10.50
* Excludes Voucher Code Discount Also available Used from £23.32
  • 0262631326
  • 9780262631327
  • Robin Milner, Mads Tofte, Robert Harper
  • 30 April 1990
  • MIT Press
  • Paperback (Book)
  • 114
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.