Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey.

J. Gregory Morrisett, Andrew P. Tolmach

Browse the full PPoPP paper archive.