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