Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!amdahl!uunet!mcvax!ukc!warwick!cvaxa!aarons
From: aarons@cvaxa.sussex.ac.uk (Aaron Sloman)
Newsgroups: comp.lang.misc
Subject: RE: The Definition of Standard ML.
Message-ID: <536@cvaxa.sussex.ac.uk>
Date: 19 Nov 88 15:06:36 GMT
Organization: School of Cognitive Sciences, Univ of Sussex, Brighton, UK
Lines: 58

A belated response (addition) to a September posting:

>From: mads@lfcs.ed.ac.uk (Mads Tofte (LFCS))
>Newsgroups: comp.lang.misc
>Subject: The Definition of Standard ML.
>Message-ID: <829@etive.ed.ac.uk>

>            The Programming Language Standard ML
        ......
> Other currently active implementations are by
> Michael Hedlund at the Rutherford-Appleton Laboratory, by Robert
> Duncan and Simon Nichols in Aaron sloman's group at the University of
> Sussex and by Malcolm Newey and his group at the Australian National
> University.
        .......
>  Robert Harper      Robin Milner            Mads Tofte

PML, the Sussex University version of ML (currently compatible with
Standard ML Version 1, with some extensions for mixed language
programming) is part of the Poplog development environment which also
includes Common Lisp, Prolog and Pop-11, an integrated screen editor,
window manager, etc. PML provides access to the other facilities in
Poplog.

PML has been implemented as one of several "front end" incremental
compilers in Poplog, so it automatically becomes available along with
the other languages, on any machine to which Poplog is ported. All
the languages are fully compiled to machine code.

Poplog has recently been ported to Sequent Symmetry Sun-386i, and Sun-4.

Ports to other 80386-based machines are expected to follow. (The
Sun-386i port took under two weeks.)

It previously ran on VAXen(VMS/Unix), Sun2, Sun3, HP 9000/300 series,
Apollo with BSd Unix, Orion 1/05 (Clipper + unix).

Poplog ML is available on all of these machines, but requires a poplog
licence.

Although it does not (yet) have the latest extensions to ML it
is being used for teaching ML, as it provides convenient online
"teach" "help" and library facilities all accessible via the editor.

Poplog is distributed commercially by SD-Scicon, but massive discounts
are available for educational sites (direct from Sussex in the case
of UK sites).

Aaron Sloman,
School of Cognitive and Computing Sciences,
Univ of Sussex, Brighton, BN1 9QN, England
    ARPANET : aarons%uk.ac.sussex.cvaxa@nss.cs.ucl.ac.uk
    JANET     aarons@cvaxa.sussex.ac.uk
    BITNET:   aarons%uk.ac.sussex.cvaxa@uk.ac
    UUCP:     ...mcvax!ukc!cvaxa!aarons
            or aarons@cvaxa.uucp

Phone:  University +(44)-(0)273-678294  (Direct line. Diverts to secretary)