函数式语义相关硕士博士期刊学术论文

二叉查找树是数学建模、算法分析中常用的数据结构。函数式语义具有无副作用特性与类型高度抽象能力，用其表达数学模型简练明了。本......