Mads Tofte

Mads Tofte is Vice Chancellor, IT University of Copenhagen.

		Proof, Language, and Interaction Essays in Honour of Robin Milner Gordon Plotkin, Colin Stirling and Mads Tofte (Eds.) Cloth / May 2000 This collection of original essays reflects the breadth of current research in computer science. Price $80.00 | ADD TO CART
		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