Robin Milner

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

		The Definition of Standard ML, Revised Edition Robin Milner, Mads Tofte, Robert Harper and David MacQueen Paper / May 1997 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. Price $28.00 | ADD TO CART
		Commentary on Standard ML Robin Milner and Mads Tofte Cloth / November 1990 This volume explains in depth the meaning, or semantic theory, of ML. OUT OF PRINT
		Commentary on Standard ML Robin Milner and Mads Tofte Paper / November 1990 The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML. OUT OF PRINT
		The Definition of Standard ML Robin Milner, Mads Tofte and Robert Harper Paper / February 1990 This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. OUT OF PRINT
		The Definition of Standard ML Robin Milner, Mads Tofte and Robert Harper Cloth / February 1990 This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. OUT OF PRINT