Uncategorized

• Full grammar of SML'97 syntax
• Defects in SML'97
• ML for the Working Programmer
• Programming in Standard ML (Robert Harper)
• Programming in Standard ML '97: An Online Tutorial (Stephen Gilmore)
• Tips for Computer Scientists on Standard ML (Revised) (Mads Tofte)
• A Gentle Introduction to ML (Andrew Cummings)
• Programming Languages course notes (Dan Grossman)
• Introduction to Standard ML (Atsushi Ohori)
• Standard ML Programming at Wikibooks
• Learn X in Y minutes Where X=Standard ML
• CMU CS 15-150: Functional Programming
• Cornell CS312: Data Structures and Functional Programming
• Modules Matter Most
• Essentials of Standard ML Modules (Mads Tofte)
• smlhelp
• Unix System Programming with SML
• SML at Rosetta Code
• Purely Functional Data Structures
• SML/NJ (Standard ML of New Jersey)
• MLton - program optimizing compiler
• MaPLe - join parallelism extension for MLton
• Poly/ML
• CakeML - hosting subset of SML
• Alice ML
• Moscow ML
• SML Family website
• Definition of Standard ML (SML'90)
• Definition of Standard ML (SML'97)
• HaMLet - hosting SML interpreter written entirely in SML
• MLKit
• SML#
• SML.NET
• MLj
• SMLtoJs - to-JavaScript transpiler
• Further implementation overview
• Standard ML Basis Library
• Concurrent ML
• Mechanization of Standard ML
• Successor ML
• MLWorks - sourced by Ravenbrook