Robert Harper

Robert Harper is Research Computer Scientist at Carnegie Mellon University.

		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
		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