会员服务
Common Lisp是一门历史悠久，但是却蕴含着所有你编程所需要的高级特性的简洁而不简单的现代化高级编程语言
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)
Arxiv
0+阅读 · 6月21日
Notes on Refactoring Exponential Macros in Common Lisp
Arxiv
0+阅读 · 2023年5月4日
VWSIM: A Circuit Simulator
Arxiv
0+阅读 · 2022年5月24日
ACL2s Systems Programming
Arxiv
0+阅读 · 2022年5月24日
aether: Distributed system emulation in Common Lisp
Arxiv
0+阅读 · 2021年4月23日
aether: Distributed system emulation in Common Lisp
Arxiv
0+阅读 · 2020年11月12日
Iteration in ACL2
Arxiv
0+阅读 · 2020年9月29日
Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp
Arxiv
0+阅读 · 2020年4月21日
Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp
Arxiv
0+阅读 · 2020年3月8日
Gelisp: A Library to Represent Musical CSPs and Search Strategies
Arxiv
0+阅读 · 2015年10月9日
Generalizers: New Metaobjects for Generalized Dispatch
Arxiv
0+阅读 · 2014年4月22日
Reasoning About LLVM Code Using Codewalker
Arxiv
0+阅读 · 2015年9月21日
The Machine that Builds Itself: How the Strengths of Lisp Family Languages Facilitate Building Complex and Flexible Bioinformatic Models
Arxiv
0+阅读 · 2016年9月19日
Computing spectral sequences
Arxiv
0+阅读 · 2006年2月17日
Development of a Translator from LLVM to ACL2
Arxiv
0+阅读 · 2014年6月6日
参考链接
父主题
Lisp
微信扫码咨询专知VIP会员
Top