9780262631327-0262631326-The Definition of Standard Ml

The Definition of Standard Ml

3.9 Rate this book
ISBN-13: 9780262631327
ISBN-10: 0262631326
Author: Robin Milner, Robert Harper, Mads Tofte
Publication date: 1990
Publisher: Mit Pr
Format: Paperback 114 pages
FREE US shipping
Sell
Get cash immediately!

Book details

ISBN-13: 9780262631327
ISBN-10: 0262631326
Author: Robin Milner, Robert Harper, Mads Tofte
Publication date: 1990
Publisher: Mit Pr
Format: Paperback 114 pages

Summary

The Definition of Standard Ml (ISBN-13: 9780262631327 and ISBN-10: 0262631326), written by authors Robin Milner, Robert Harper, Mads Tofte, was published by Mit Pr in 1990. With an overall rating of 3.9 stars, it's a notable title among other Software (Programming Languages, Mathematics) books. You can easily purchase or rent The Definition of Standard Ml (Paperback) from BooksRun, along with many other new and used Software books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.57.

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.

Show more
Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book

cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.