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

$88.99

or 4 interest-free payments of $22.25 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

Orders over $89.00 qualify for free shipping.

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

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Python All-in-One For Dummies

3rd Edition

Swift

The Practical Guide

Introduction to Programming Languages

Fundamentals of Python

3rd Edition - First Programs

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

The C Programming Language

Prentice Hall Software

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Code

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

The Explosive Child: Sixth Edition

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

Effective Modern C++

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

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Python for Excel

A Modern Environment for Automation and Data Analysis

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Artificial Intelligence Programming with Python

From Zero to Hero

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

MATLAB

6th Edition - A Practical Introduction to Programming and Problem Solving

Problem Solving and Program Design in C, Global Edition

8th Edition

C++ How to Program, Global Edition

10th Edition

Python Cookbook

Recipes for Mastering Python : 3rd Edition

Concepts of Programming Languages, Global Edition

12th Edition

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

This product is categorised by