函数式程序设计
-
1袁华强,孙永强.纯函数式I/O的操作语义[J].计算机学报,1998,21(11):1009-1014. 被引量：8
-
2武延华,薛小平,王小平.苛求软件可靠性方法、技术与模型研究[J].城市轨道交通研究,2012,15(2):89-95.
-
3吴迪,陈林,徐宝文.SIMPLE:一种新型多范型程序设计语言[J].计算机科学,2014,41(7):1-8.
-
4袁华强,孙永强.基于Monad的纯函数式程序设计[J].软件学报,1996,7(11):683-690.
-
5李向阳,连小绮.函数式程序范式在语义web中的应用[J].中国科技信息,2006(24):79-79. 被引量：1
-
6王朋,张兴元,徐健.基于Camlp5的泛型编程“缺省情况”研究[J].军事通信技术,2013,34(1):43-48.
-
7阎志欣.带迭代算子的函数式程序设计[J].软件学报,1996,7(A00):239-248.
-
8李阳,于尚超,王朋.函数式语言泛型特性的研究与实现[J].计算机工程与应用,2012,48(28):71-76.
-
9王朋,徐健,于尚超.O'Caml泛型编程中“泛型抽象”的研究[J].计算机技术与发展,2013,23(7):92-95.
-
10于尚超,李阳,王鹏.基于拼凑替换的定理机器证明的研究与实现[J].计算机技术与发展,2012,22(6):135-138.
;
