ML Threads

Greg Morrisett

SML/NJ with mutual exclusion primitives similar to those in Modula-2+ and Mesa. Lightweight threads are created using 'fork'. They are pre-emptively scheduled, and communicate via shared memory which can be protected by a 'mutex' (monitor).

"Adding Threads to Standard ML", E. Cooper et al, CMU-CS-90-186, Carnegie Mellon University Dec 1990.