Mit Press

By: David MacQueen, Robin Milner, Robert Harper, Mads Tofte

Write A Review

Paperback | 21 May 1997 | Edition Number 2

At a Glance

Paperback
132 Pages

Edition Type
Revised

Age
18+

Dimensions(cm)
22.86 x 17.78 x 1.27

Paperback

$89.99

or 4 interest-free payments of $22.50 with

Ships in 5 to 10 business days

Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML. In defining a language one must also define the rules of evaluation precisely-that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation. The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages

This product is categorised by

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages

Preface
Introduction	p. 1
Syntax of the Core	p. 3
Syntax of Modules	p. 11
Static Semantics for the Core	p. 15
Static Semantics for Modules	p. 29
Dynamic Semantics for the Core	p. 37
Dynamic Semantics for Modules	p. 47
Programs	p. 53
Derived Forms	p. 55
Full Grammar	p. 61
The Initial Static Basis	p. 67
The Initial Dynamic Basis	p. 69
Overloading	p. 71
The Development of ML	p. 73
What is New?	p. 81
References	p. 95
Index	p. 101
Table of Contents provided by Blackwell. All Rights Reserved.

Mit Press

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Introduction to Programming Languages

The Practical Guide

The Practical Guide

The C Programming Language

Prentice Hall Software

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Python All-in-One For Dummies

3rd Edition

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Learning Algorithms

A Programmer's Guide to Writing Better Code

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

Problem Solving and Program Design in C, Global Edition

8th Edition

C# 10.0 All-in-One For Dummies

For Dummies (Computer/Tech)

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

The C++ Programming Language

Developing Graphics Frameworks with Java and OpenGL

Coding All-in-One For Dummies

2nd Edition

Learning Go

An Idiomatic Approach to Real-World Go Programming

Fundamentals of Python

3rd Edition - First Programs

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

This product is categorised by