The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper

First Page		Document Content
Date: 2007-07-23 09:36:22 Functional languages Procedural programming languages Robin Milner Robert Harper ML Mads Tofte Milner Cataloging Unit of alcohol Software engineering Programming language theory Computing		The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper Add to Reading List Source URL: www.itu.dk Download Document from Source Website File Size: 46,66 KB Share Document on Facebook

	Robin Milner, undated, probably April/Mayappears to be changes relative to the first (TENTATIVE) draft of the Proposal for SML) DocID: 1xUOJ - View Document
	The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science DocID: 1sAgo - View Document
	The Definition of Standard ML The Definition of Standard ML (Revised) Robin Milner, Mads Tofte, Robert Harper and David MacQueen DocID: 1rLkR - View Document
	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry DocID: 1r68x - View Document
	Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/ DocID: 1qoEe - View Document