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 thelanguage, including use
This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in the