The Definition of Standard ML - Revised

Author: Robin Milner
Edition: revised edition
Binding: Paperback
ISBN: 0262631814

The Definition of Standard ML - Revised

Standard ML is a general-purpose programming language designed for large projects. Get The Definition of Standard ML - Revised computer books for free.
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 ha Check The Definition of Standard ML - Revised our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.

The Definition of Standard ML - Revised Download

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 The authors ha

Related Computer Books

ML for the Working Programmer

The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent cove

The Little MLer

with a foreword by Robin Milnerand drawings by Duane Bibby Over the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the United States and other countries use ML to teach c

Raspberry Pi Model B Revision 2.0 (512MB)

The Raspberry Pi is a single-board computer developed in the UK by the Raspberry Pi Foundation. The Raspberry Pi is a credit-card sized computer that plugs into your TV and a keyboard. It's a capable little PC which can be used for many of the things

Elements of ML Programming, ML97 Edition (2nd Edition)

Written by a well-known computer science education and researcher. No previous knowledge of ML or functional programming is assumed. This is the first book that offers BOTH a highly accessible, step-by-step introductory tutor