《计算机学报》文章摘要   全文下载
文章题目	非确定Monad
作者	袁华强 肖 倩 *孙永强
作者单位	(湘潭大学计算中心 湘潭 411105) *(上海交通大学计算机科学与工程系 上海 200030)
发表年份	1997
发表月份	3期　（页码：284—-288)
文章摘要	纯函数式语言缺乏处理非确定性的功能,本文给出了一个非确定性 Monad,用此Monad在纯函数式语言中描述了非确定性进程网, 证明了一 些有用的代数性质.