11 free resources
広井誠
大堀淳, 上野 雄大
大堀淳
Atsushi Ohori
Lawrence C. Paulson
University of Edinburgh
Robert Harper
Katsuhiro Ueno (PDF)
SMLFamily GitHub project
John H. Reppy (HTML)
Anthony L. Shipman