Automating derivation of incremental programs

Yuchen Zhang, Yanhong A. Lin

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming(1998)

引用 13|浏览9
暂无评分
摘要
An abstract is not available.
更多
查看译文
关键词
anamorphism,functional programing,breadth first,traversal,fold
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要