CM: A Concurrent Functional Language Based on Miranda

• 并发函数式语言CM的设计及实现