|
213
|
CML: A Higher-Order Concurrent Language
– J H Reppy
- 1991
|
|
26
|
Kill-safe synchronization abstractions
– M Flatt, R B Findler
|
|
7
|
Protocols for Non-Deterministic Communication over Synchronous Channels
– Erik D. Demaine
- 1998
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
25
|
A Distributed Protocol for Channel-Based Communication with Choice
– Frederick Knabe
- 1993
|
|
121
|
Concurrent Programming in ML
– John H Reppy
- 1999
|
|
13
|
Events in Haskell, and how to implement them
– G Russell
- 2001
|
|
31
|
A multi-threaded higher-order user interface toolkit
– Emden R. Gansner
- 1993
|
|
9
|
A protocol for generalized occam
– R Bornat
- 1986
|
|
3116
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
80
|
The Design of a Class Mechanism for MOBY
– Kathleen Fisher, John Reppy
- 1999
|
|
7
|
Y.: Specialization of CML message-passing primitives
– J Reppy, Xiao
- 2007
|
|
15
|
The Objective Caml System (release 3.00
– X Leroy
- 2000
|
|
35
|
An effective implementation for the generalized input-output construct of csp
– Gael N Buckley, Abraham Silberschatz
- 1983
|
|
20
|
First-class synchronous operations in Standard ML
– J H Reppy
- 1989
|
|
414
|
Software Transactional Memory
– Nir Shavit, Dan Touitou
- 1995
|
|
5
|
The Objective Caml System (release 3.00), April 2000. Available from http://caml.inria.fr. [MJMR01
– X Leroy
|
|
31
|
Concurrent ML: Design, Application and Semantics
– John H. Reppy
- 1993
|
|
83
|
Vaidy Sunderam. PVM: Parallel Virtual Machine – A Users’ Guide and Tutorial for Networked Parallel Computing
– Al Geist, Adam Beguelin, Jack Dongarra, Weicheng Jiang, Robert Manchek
- 1994
|
