摘要：CLAIRE语言：集合、规则和搜索范例与命令式（函数式）语言的紧密结合
作者：Yves Caseau, Francois-Xavier Josset, Francois Laburthe
论文ID：cs/0405091
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中