15-816 Linear Logic
MLWorks is an implementation of Standard ML compliant with The Definition of Standard ML - Revised. It also provides an X interface, tools for browsing and debugging, and an implementation of the ML Standard Library.
CMU has an MLWorks licsense only for the Sparc-5 and UltraSparc workstations.
xhost + unixn.andrew.cmu.edu, where
unixnis the server you were connected to.
/afs/andrew.cmu.edu/scs/cs/mlworks/ultra/bin/mlworks-basis -tty &
Standard ML of New Jersey provides a free alternative implementation with only minor deviations from the revised definition and the standard library. However, it does not provide an X interface, browser, or other tools available with MLWorks.
Important: You will need SML/NJ version 110 or higher.