贝尼亚米·阿卡托利;布鲁诺·巴拉斯 模式匹配的成本微乎其微。 （英语） Zbl 1503.68034号 Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695426-447（2017年）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}和\textit{B.Barras}，莱克特。注释计算。科学。10695，426--447（2017；Zbl 1503.68034） 全文： 内政部 哈尔
贝尼亚米·阿卡托利;克劳迪奥·萨塞尔多蒂·科恩 关于变量的值。 （英语） Zbl 1372.68055号 Inf.计算。 255，第2部分，224-242（2017）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}和\textit{C.Sacerdoti-Coen}，Inf.Comput。255，第2部分，224--242（2017；Zbl 1372.68055） 全文： 内政部 哈尔