Standard ML

Created: May 14, 2020 by Pradeep Gowda Updated: May 14, 2020

Standard ML

Courseware

• CSE341: Programming Languages, Winter 2013 has very approachable set of videos. Must watch!

Books

• Programming in Standard ML (pdf) by Prof. Robert Harper

Papers

• The history of Standard ML; June 2020.

• Self-Adjusting Computation - Umut Acar - Carnegie Mellon University; via.

Links

• MLTon with realtime GC

Libraries

• Ponyo for Standard ML – requires PolyML