Morrisett and Andrew Tolmach. A portable multiprocessor interface for Standard ML of New Jersey (1992)

by J Gregory