扁平咖喱 swMATH ID: 28856 软件作者： 迈克尔·哈纳斯（Michael Hanus）；Christiansen，Jan；丹尼尔塞德尔；贾尼斯·沃格特兰德 描述： FlatCurry：Curry程序的中间表示。为了提供一个通用接口，用于连接在Curry程序上工作的不同工具或用另一种（函数逻辑）声明语言（例如Toy）编写的程序，有一种称为FlatCurry的中间语言，用于表示函数逻辑程序。本文件概述了FlatCurry的理念和结构。 主页： https://www.informatik.uni-kiel.de网站/~咖喱/平底/ 依赖项： 咖喱 相关软件： 瑞士;工厂;PAKCS公司;教堂;轻松检查;KiCS2系列;咖喱;PFLP公司;ProbLog（问题日志）;小型支票;哈斯克尔 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 类型化FlatCurry的一种充分的、指称的、函数式语义。 Zbl 1327.68074号简·克里斯蒂安森;丹尼尔·塞德尔;贾尼斯·沃格特兰德 2011 全部的 前5名6位作者引用 2 简·克里斯蒂安森 1 迪勒斯，桑德拉 1 朱利奥·马里诺 1 丹尼尔·塞德尔 1 蒂根，芬兰人 1 Janis Voigtlander公司 2篇连载文章中引用 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 在2个字段中引用 三 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文