brown@gvax.cs.cornell.edu (Geoffrey Brown) (11/10/89)
Has anyone ported Standard ML to HP9000/300 computers ? Geoffrey Brown gbrown@ee.cornell.edu
der@otter.hpl.hp.com (Dave Reynolds) (11/17/89)
My collegues have already mailed some information to Geoffrey but we thought a summary posting to the net might be of interest to other people out there. There are at least 4 versions of Standard ML running on HP machines in our lab (not counting things like Lazy ML): 1. Standard ML of New Jersey. This has been available to academic sites for some time. We have a port of the current version (0.39) to HP 9000/300 kit and can make the diffs available. The diffs have been fed back to the authors and should be included in the next release (0.43). Contact Dave MacQueen at <dbm@research.att.com> for more information. 2. POPLOG/ML. This is part of the POPLOG multi-language environment which was originally developed at Sussex University and is now sold through Integral Solutions Limited <isl@integ.uucp> Hampshire, England. This is a supported commercial product but academic discounts should be available. 3. Poly/ML. Originally developed at Cambridge University by Dave Matthews. This system was at one time supported commercially through Imperial Software Technology but I'm not sure if that is still the case. Certainly it is available on favorable terms to academic sites. 4. Edinburgh Standard ML. This is a byte-coded interpreter rather than a compiler and has really been superceeded by the above implementations. For more information on this interpreter or indeed for general information on the state of ML contact the LFCS laboratory in Edinburgh. Someone like Nick Rothwell <nick@lfcs.ed.ac.uk> there could point you in the right direction for more information. There is also an ML mailing group - contact sml-request@CS.CMU.EDU. Hope this helps someone. ------------------------------------------------------------------ Dave Reynolds | Phone: (0272) 799910 x 24165 Hewlett-Packard Laboratories | der@hplb.lb.hp.co.uk - UKnet Filton Road, Stoke Gifford | der@hplb.hpl.hp.com - Internet Bristol BS12 6QZ | der@otter - HP only