第48届国际自动机，语言和程序设计学术讨论会（ICALP）将于2021年7月12日至16日在苏格兰格拉斯哥举行。来自北京大学编程语言实验室的研究人员在会议上发表了他们的论文 "Analytical Differential Calculus with Integration"。

微分λ演算由Thomas Ehrhard和Laurent Regnier于2003年首次提出。尽管微分演算已有15年以上的历史，但在积分演算上所做的工作很少。在本文中，我们从编程的角度提出了一种带积分的微分演算。它具有与数学的良好对应性，这通过其归约规则和其数学性质而得以体现。此外，它在增量计算，自动微分和计算逼近中有许多深远应用。