Dave Macqueen at ATT Bell Labs, Murray Hill, is distributing his implementation of Standard ML. It is not public domain (there is a token license fee), but it is meant as a research tool, not a commercial product. Try contacting him at: dbm.btl@relay.cs.net or: dbm%research.att.com@relay.cs.net Nikhil (nikhil@xx.lcs.mit.edu) -------