Adding threads to Standard ML
journal contributionposted on 01.01.2001 by Eric C. Cooper, J. Gregory. Morrisett
Any type of content formally published in an academic journal, usually following a peer-review process.
Abstract: "We have added multiple threads of control to the Standard ML programming language. Standard ML's support for first-class functions and automatic storage management influenced the design in a number of ways. We demonstrate how other concurrency and synchronization operations, such as cobegin/coend, futures, and events, can be implemented in terms of the thread interface. Finally, we describe three implementations of the thread interface: a coroutine version, a uniprocessor preemptive version, and a multiprocessor Mach-based version."