Specialization of CML message-passing primitives

@inproceedings{Reppy2007SpecializationOC,
  title={Specialization of CML message-passing primitives},
  author={John H. Reppy and Yingqi Xiao},
  booktitle={POPL},
  year={2007}
}
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous operations. This mechanism allows programmers to encapsulate complicated communication and synchronization protocols as first-class abstractions, which encourages a modular style of programming where the underlying channels used to communicate with a given thread are hidden behind data and type abstraction.While CML has… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS