会员服务
高阶和符号计算是一本国际期刊，它提供了一个广谱论坛，讨论高阶和符号设施编程的结果和思想：一级函数和延续、效果和高阶类型、对象、参与者和数据程序。内容包括从理论和设计到实践和经验的论文，尤其是实践中使用的理论。该杂志促进具有广泛兴趣和专业知识的研究人员之间的思想交流和协同作用。覆盖范围包括带效果的函数编程；面向对象编程；并行、并发、分布式和移动符号和函数计算；编程概念和抽象-数据抽象、延迟计算、无限数据对象、自引用、反射、连续、组件、通用函数，继承、封装、保护、持久性、元对象、通信协议等等。官网链接：https://link.springer.com/journal/10990
C-lisp and Flexible Macro Programming with S-expressions
Arxiv
0+阅读 · 10月23日
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)
Arxiv
0+阅读 · 6月21日
A functional scripting interface to an object oriented C++ library
Arxiv
0+阅读 · 2023年12月17日
Notes on Refactoring Exponential Macros in Common Lisp
Arxiv
0+阅读 · 2023年5月4日
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp
Arxiv
0+阅读 · 2023年3月22日
VWSIM: A Circuit Simulator
Arxiv
0+阅读 · 2022年5月24日
ACL2s Systems Programming
Arxiv
0+阅读 · 2022年5月24日
Stateless and Rule-Based Verification For Compliance Checking Applications
Arxiv
0+阅读 · 2022年4月28日
Stateless and Rule-Based Verification For Compliance Checking Applications
Arxiv
0+阅读 · 2022年4月14日
Typed Image-based Programming with Structure Editing
Arxiv
0+阅读 · 2021年10月18日
A complete and continuous map of the Lattice Isometry Space for all 3-dimensional lattices
A complete and continuous map of the Lattice Isometry Space for all 3-dimensional lattices
Arxiv
0+阅读 · 2021年9月23日
A program for the full axiom of choice
Arxiv
0+阅读 · 2021年8月31日
Solving the Funarg Problem with Static Types
Arxiv
0+阅读 · 2021年8月22日
Solving the Funarg Problem with Static Types
Arxiv
0+阅读 · 2021年8月17日
A program for the full axiom of choice
Arxiv
0+阅读 · 2021年7月9日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top