Path: utzoo!attcan!uunet!wuarchive!usc!sdd.hp.com!apollo!apollo.hp.com!wyant
From: wyant@apollo.HP.COM (Geoffrey Wyant)
Newsgroups: comp.lang.functional
Subject: Re: PD SML?
Message-ID: <4b909eda.20b6d@apollo.HP.COM>
Date: 13 Jul 90 12:08:00 GMT
References: <23308@boulder.Colorado.EDU> <2646@bruce.cs.monash.OZ.AU>
Sender: root@apollo.HP.COM
Reply-To: wyant@apollo.HP.COM (Geoffrey Wyant)
Organization: Hewlett-Packard Apollo Division - Chelmsford, MA
Lines: 26



    UUCP: wyant@apollo.com

>>Public domain?  You can't be serious!

>> It costs thousands of dollars to produce such code.  If it were made
>> public domain anybody could dress it up and sell it.  You can get
executables
>> for an SML compiler from Edinburgh University provided you are going to use
>> it for research only.  If you want source code I think the best you will
>> find is Luca Cardelli's old (before standard) compiler for ML or source
>> for LML (Lazy ML) again for research only.  Luca Cardelli is with Digital
>> I believe and LML comes from Chalmers (try Lennart Augustsson, email:
>> auustss@cs.chalmers.se").

Actually the situation is much better than this. Bell Labs (David
MacQueen et. al. )
has produced a full SML compiler of very good quality that has been 
ported to a number of platforms. It is FTP'able from (at least) princeton.edu 
in the pub/ml directory.

Cheers,

Geoff Wyant
wyant@apollo.hp.com