10.3778/j.issn.1673-9418.1508047
程序语言中基于Fibrations理论的索引共归纳数据类型
语义行为、共归纳规则、基变换、提升、共递归
10
TP301.2(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant No.61103038;the Natural Science Foundation of Guangdong Province under Grant No.S2013010015944;the High School Outstanding Young Teacher Training Plan Foundation of Guangdong Province under Grant No.YQ2014155
2016-11-30(万方平台首次上网日期,不代表论文的发表时间)
共11页
1482-1492