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.82  ·  Rating details ·  11 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-41)
Rating details
Sort: Default
|
Filter
Michael
Nov 04, 2008 rated it really liked it
if you really like ml...
Nick Black
Mar 23, 2008 rated it really liked it
Exactly what it advertises, which is sometimes exactly what one needs.
Kartik Singhal
rated it it was amazing
Sep 06, 2017
Mike
rated it really liked it
Apr 07, 2008
Graydon
rated it liked it
Feb 06, 2012
Adolfo
rated it really liked it
Jul 08, 2014
Clinton LeFort
rated it it was amazing
Jun 01, 2016
Peter
rated it liked it
Dec 02, 2011
Stephen Huh
rated it it was ok
May 11, 2016
Marvin
rated it liked it
Mar 25, 2011
Prasad
rated it it was amazing
Apr 24, 2010
Justin Love
marked it as to-read
Feb 21, 2010
Jose_A.
marked it as to-read
May 07, 2012
Suvil Sipani
marked it as to-read
Jun 11, 2012
Steven Shaw
marked it as to-read
Jul 02, 2013
Karl Voelker
marked it as to-read
Jul 08, 2013
Chris
marked it as to-read
Jan 03, 2014
Lee
marked it as to-read
May 13, 2014
Evan
marked it as to-read
Sep 06, 2014
Arto Bendiken
marked it as to-read
Aug 25, 2015
Andrey Schiotkin
marked it as to-read
Jan 11, 2016
⊥
marked it as to-read
Jun 03, 2016
BookDB
marked it as to-read
Oct 22, 2016
Hana
marked it as to-read
Dec 09, 2016
Alexander Shelemin
marked it as to-read
Feb 01, 2017
Kirill Yakimovich
marked it as to-read
Mar 24, 2017
Phil Eaton
marked it as to-read
Jul 25, 2017
Mark Needham
marked it as to-read
Aug 15, 2017
Richard Liu
marked it as to-read
Aug 17, 2017
Jan Kroken
marked it as to-read
Sep 16, 2017
Audrey May
marked it as to-read
Mar 30, 2016
Ryan Linton
marked it as to-read
Jul 23, 2014
There are no discussion topics on this book yet. Be the first to start one »