Literary Collections

The Definition of Standard ML

Name: The Definition of Standard ML
Author: Robin Milner
ISBN: 9780262631815

by Robin Milner, Mads Tofte, Robert Harper, David MacQueen

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Synopsis

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.

About the Author, Robin Milner

Robin Milner was Professor Emeritus of Computer Science at the University of Cambridge, UK, and Professor at the Informatics Forum in the University of Edinburgh.

Mads Tofte is Vice Chancellor, IT University of Copenhagen.

Robert Harper is a Professor of Computer Science at Carnegie Mellon University.

David MacQueen is Professor of Computer Science at the University of Chicago.