I am having to learn this again, because I've forgotten so much of it. Here are some resources: Mads Tofte's Standard ML for Computer Scientists Programming in Standard ML ’97: A Tutorial Introduction by Stephen Gilmore The Definition of Standard ML (Revised) , by Robin Milner, Mads Tofte, Robert Harper and David MacQueen. Commentary on Standard ML , by Robin Milner and Mads Tofte. Abstract data types (see also FUNCTIONAL PEARLS Efficient sets—a balancing act ) If you want to try some simple programs in a web browser without having to install anything on your computer, see the amazing SOSML which is here: https://sosml.org/ . Moscow ML is still in business: https://mosml.org/ . The easiest way to get a half-comfortable local development environment is still GNU emacs with the SML-Mode package : type M-x package-install RET sml-mode RET now if only I knew how to turn off the stupid indenting minor-mode which keeps changing what I type, ... I mea...