Introduction to Standard ML
Robert Harper1 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3891 Copyright c 1986-1993 Robert Harper. All rights reserved.
exercises by Kevin Mitchell, Edinburgh University, Edinburgh, UK.
Wal Hassan University of Ottawa [email protected] 2009
what is SML?
A formal interface language that assists security model designers to create Alloy models SML is relational, it includes patterns to specic to security SML is compact, can
Programming in Standard ML
(W ORKING D RAFT OF J ANUARY 10, 2011.)
Robert Harper Carnegie Mellon University Spring Semester, 2005
Copyright c 2008. All Rights Reserved.
This work is licensed under the Creative Commons Attribution-Noncommercial-No Derivati
Notes on Programming Standard ML of New Jersey (version 110.0.6)
Riccardo Pucella Department of Computer Science Cornell University Last revised: January 10, 2001
The impetus behind these notes was the desire to provide a cohesive description o