15-816 Linear Logic

Standard ML

There are two primary implementations available in the CMU computing environment.

How to run MLWorks on Andrew

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.

Standard ML of New Jersey

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.

Local Guides

Supplementary Reading

Principal SML'97 libraries

[ home | schedule | assignments | languages | handouts | overview | links ]

Frank Pfenning