15-816 Linear Logic

Standard ML

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.

• From a Sparc-5 or UltraSparc workstation running Solaris in an Andrew cluster:
  /afs/andrew.cmu.edu/scs/cs/mlworks/ultra/bin/mlworks-basis &
• From any workstation running the X-window system:
  telnet sun4.andrew.cmu.edu
  Enter user id and password
  On your workstation:
  xhost + unixn.andrew.cmu.edu, where unixn is the server you were connected to.
  On the server:
  /afs/andrew.cmu.edu/scs/cs/mlworks/ultra/bin/mlworks-basis &
  
• When you are not running X-windows (e.g. from inside a terminal or Emacs shell) you may telnet to one of the servers above and call
  /afs/andrew.cmu.edu/scs/cs/mlworks/ultra/bin/mlworks-basis -tty &
  However, you will not get the benefits of the X environment of MLWorks.

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.

• The version of SML/NJ we need (110 or higher) has not yet been installed in a standard location. However, you may download it from Bell Labs.
• To add SML mode to emacs, add the following line to your .emacs file:
  (load-file "/afs/cs/user/fp/courses/linear/lib/emacs/init.el")

Local Guides

• Standard ML at Carnegie Mellon by Peter Lee and its
  • MLWorks and
  • Standard ML of New Jersey sections.
• MLWorks User Guide
• MLWorks Reference Manual

Supplementary Reading

• Introduction to SML by Robert Harper.

Principal SML'97 libraries

• Char
• String
• Int
• Real
• Math
• List
• TextIO
• Array