A Gentle Introduction to ML - a tutorial for the Standard ML language.
Comp.Lang.ML FAQ: Monthly Posting
Edinburgh LFCS ML-Club - A club for ML users at the University of Edinburgh
Express project - ML/OS Goals: Explore interaction between advanced programming languages, operating systems, compilers. Develop software technology to make advanced languages practical, useful tools for systems programming.
Fox Project - OS based on ML language. Goal: Advance the art of programming language design and implementation, while applying principles of programming languages to advance the art of systems building. Project work: theoretical studies of languages and their traits, developing new compiler and run-time technology, empirical studies of applying advanced language techniques to real-world programming problems, more so in areas of high-performance networks and OSs.
fxp - A validating XML parser written completely in SML.
Hello, World program - ML & SML
mGTK - Glue code to make GTK+ accessible from SML. This allows SML programmers to add graphical user interfaces to their programs.
ML Kit - A compiler for the programming language Standard ML.
ML Tutorial - A short tutorial on using ML in the SML environment
MLRISC - Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to multiple architectures. Deals elegantly with special requirements imposed by the execution model of different high-level, typed languages.
MLton - A whole-program optimizing compiler for the Standard ML programming language.
Moscow ML - ML system for DOS, Linux, Windows.
Open-source release of MLj - MLj: an SML to Java bytecode compiler, based on Persimmon's MLj
Poly/ML - A compiler and environment for Standard ML and includes libraries for Windows and X-Windows. [Open Source]
Programming in Standard ML - These notes are intended as a brief introduction to Standard ML (1997 dialect) for the experienced programmer
Programming in Standard ML 97 - An on-line tutorial by Stephen Gilmore.
sml_tk - A Standard ML package providing a portable, typed and abstract interface to the user interface description and command language Tcl/Tk. It allows the implementation of graphical user interfaces in a structured and reusable way, supported by the powerful module system of Standard ML.
Standard ML of New Jersey - Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for the Standard ML programming language
Standard ML vs. Objective Caml - A quick comparison of program fragments in the two ML dialects.