Skip to main content
Department of Information Technology

AD1 Resources

The SML Programming Language

  • Moscow ML, a light-weight implementation of SML
  • MLton, an open-source, whole-program, optimising SML compiler
  • Pure, a functional programming language based on term rewriting

Updated  2009-01-07 21:53:37 by Pierre Flener.