%0 Journal Article
%T 基于monad的纯函数式语言通道系统设计
%A 袁华强 孙永强？
%J 计算机科学
%D 2004
%X 本文通过状态转换器来定义i／o的文件系统，并用非确定性monad描述了操作系统的进程同，从而给出了通道系统的语义。
%K 纯函数式语言通道系统设计文件系统monad操作系统进程
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=9323013&flag=1