Computing (FOLDOC) dictionary
Jump to user comments
SML/NJ with mutual exclusion primitives similar to those in
jgmorris@cs.cmu.edu.
VAX- and
MIPS-based multiprocessors.
["Adding Threads to Standard ML", E. Cooper et al,
CMU-CS-90-186, CMU Dec 1990].