🚀 go-pugleaf

In article <665@sbstaff2.UUCP> allen@sbstaff2.UUCP ( Allen Leung) writes:
>
>    Is there any one out there doing serious programming and/or research
> in ML (Meta Language)?  I would like to hear from you.

YES! I represent the ML research group at Edinburgh. We were responsible for
the original releases of Standard ML, as well as the infamous "Edinburgh ML"
which is being distributed at the moment.
   The situation is rather uncertain at the moment - we are still distributing
the original SML system, although it has its weaknesses and we haven't got
the resources to perform any major bug fixes at the moment. We expect to be
shipping copies of the brand new, shiny SML compiler sometime in the Autumn.
This is a collaborative effort - the compiler is actually the work of Dave
MacQueen at Bell Labs and Andrew Appel at Princeton, although it will
incorporate some new parsing and typechecking techniques developed at
Edinburgh. The new compiler generates native code, and is a total rewrite
(in SML itself, as it happens), so it won't suffer from the weaknesses of the
current Edinburgh system which, to be fair, is the result of a great deal of
evolution as our ideas about typechecking and compilation have developed.
-- 
Nick Rothwell,   Laboratory for Foundations of Computer Science,
                 University of Edinburgh.
                 ARPA:    nick%{cstvax,itspna}.ed.ac.uk@ucl-cs.arpa
                 JANET:   nick@uk.ac.ed.{cstvax,itspna}
                 UUCP:    <Atlantic Ocean>!mcvax!ukc!{cstvax,itspna}!nick
~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~
"Nothing's forgotten. Nothing is ever forgotten."   (Herne)