本杰明·穆拉德;马蒂奥·奇米尼 系统描述：lang-n-change–转换语言的工具。 （英语） Zbl 07368092号 Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12073, 198-214 (2020).MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Mourad}和\textit{M.Cimini}，莱克特。注释计算。科学。12073，198--214（2020；Zbl 07368092） 全文： 内政部
马蒂奥·奇米尼 高阶逻辑编程在面向语言编程中的有效性。 （英语） Zbl 07368087号 Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12073, 106-123 (2020).MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Cimini}，莱克特。注释计算。科学。12073、106-123（2020；Zbl 07368087） 全文： 内政部
本杰明·穆拉德;马蒂奥·奇米尼 语言转换的微积分。 （英语） Zbl 1508.68034号 Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 547-555 (2020).MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Mourad}和\textit{M.Cimini}，莱克特。注释计算。科学。12011，547--555（2020；Zbl 1508.68034） 全文： 内政部 arXiv公司