Coursera proglang course. Mainly in SML.