E. C. Cooper. A thread interface for Standard ML. School of Computer Science, Carnegie Mellon University, Apr. 1990. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Distributed Protocol for Channel-Based Communication with Choice - Knabe (1993) (21 citations) (Correct)
....though, the semantics of a fault must 11 be incorporated into the already existing semantics for channels with choice. This is still an area of research. 3.6. Implementation We have successfully implemented our protocol in Standard ML of New Jersey [2] using Cooper and Morrisett s ML threads [10] and Knabe s Mach IPC package for ML [15] We relied on the Facile definition of choice [11] and our (abbreviated) user signature looks like this: signature FACILE = sig type channel type stop datatype request = SEND of channel data (unit unit) RECV of channel (data unit) ....
E. C. Cooper. A thread interface for Standard ML. School of Computer Science, Carnegie Mellon University, Apr. 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC