摘要：一种支持逻辑规则、集合、函数、更新和对象的语言Alda的论文翻译（标题）：Alda：一种支持逻辑规则、集合、函数、更新和对象的语言及其实现方法和实验评估结果
作者：Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
论文ID：2305.19202
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-05-31
PDF 下载： 英文版 中文版pdf翻译中