%0 Journal Article
%T 一种基于ADT的函数语言及其操作语义模型
%A 孙永强
%A 梅宏
%J -
%D 1994
%X 本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分，进而描述了其操作语义模型：多态λ演算十代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质和强范式性质
%K 函数式程序设计
%K λ演算
%K 重写系统
%K Church－Rosser性质
%K 强范式性质
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19940610&flag=1