高阶和符号计算是一本国际期刊，它提供了一个广谱论坛，讨论高阶和符号设施编程的结果和思想：一级函数和延续、效果和高阶类型、对象、参与者和数据程序。内容包括从理论和设计到实践和经验的论文，尤其是实践中使用的理论。该杂志促进具有广泛兴趣和专业知识的研究人员之间的思想交流和协同作用。覆盖范围包括带效果的函数编程；面向对象编程；并行、并发、分布式和移动符号和函数计算；编程概念和抽象-数据抽象、延迟计算、无限数据对象、自引用、反射、连续、组件、通用函数，继承、封装、保护、持久性、元对象、通信协议等等。官网链接：https://link.springer.com/journal/10990
微信扫码咨询专知VIP会员