%0 Journal Article
%T 函数式语言中的赋值语句
%A 石跃祥？
%A 袁华强？
%A 孙永强？
%A 陈静？
%J 软件学报
%P 253-256
%D 1999
%X 文章探讨了怎样在纯函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作的指称语义，并用这些赋值操作定义了一个简单的命令式语言的解释程序.
%K 纯函数式语言
%K 赋值语句
%K monads.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19990306&flag=1