Goodreads helps you keep track of books you want to read.
Start by marking “Definition of Standard ML, Revised Edition” as Want to Read:
Definition of Standard ML, Revised Edition
Enlarge cover
Rate this book
Clear rating
Open Preview

Definition of Standard ML, Revised Edition

3.75 of 5 stars 3.75  ·  rating details  ·  8 ratings  ·  2 reviews
Standard ML is 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 writt ...more
Paperback, 128 pages
Published May 21st 1997 by MIT Press (MA) (first published February 14th 1990)
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Definition of Standard ML, Revised Edition, please sign up.

Be the first to ask a question about Definition of Standard ML, Revised Edition

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-22 of 22)
filter  |  sort: default (?)  |  rating details
Nick Black
Exactly what it advertises, which is sometimes exactly what one needs.
Michael
if you really like ml...
Evan
Evan marked it as to-read
Sep 06, 2014
Lee
Lee marked it as to-read
May 13, 2014
Chris
Chris marked it as to-read
Jan 03, 2014
Kushal Khanal
Kushal Khanal marked it as to-read
Oct 09, 2013
Karl Voelker
Karl Voelker marked it as to-read
Jul 08, 2013
Steven Shaw
Steven Shaw marked it as to-read
Jul 02, 2013
Suvil Sipani
Suvil Sipani marked it as to-read
Jun 11, 2012
Jose_A.
Jose_A. marked it as to-read
May 07, 2012
Justin Love
Justin Love marked it as to-read
Feb 21, 2010
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »
Communicating and Mobile Systems: The Pi Calculus Communication and Concurrency Cultural Atlas of Russia and the Soviet Union Russian Writing Today Weltatlas der alten Kulturen: Russland

Share This Book