SMLNJ(7) - manual page | Overview, conventions, and miscellany

An implementation of the Standard ML language with supporting tools and libraries.