Seminaïve Evaluation for a Higher-Order Functional Language
Proceedings of the ACM on Programming Languages（2019）
关键词
Datafun,Datalog,functional languages,relational languages,seminaive evaluation,incremental computation
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要