新鲜OCaml swMATH ID: 22615 软件作者: M.Shinwell、A.Pitts 描述: 新鲜目标凸轮。Fresh O'Caml是一种编程语言,其目的是提供Objective Caml语言的特性以及:用于表示的名称类型;对象级可绑定名称;表示对象级绑定的抽象表达式;解构抽象价值的模式匹配;以及一些附加的公用事业操作。我们希望您能发现,该语言简化了涉及对象语言绑定器操作的元编程任务。 主页: 网址:http://www.fresh-ocaml.org/ 相关软件: Freshml公司;名义伊莎贝尔;伊莎贝尔/HOL;毫升;路易斯;NLambda公司;z3(零3);Ons(打开);HNT公司;未绑定;德尔芬;RepLib(复制库);LNgen(液化天然气);GHC公司;哈斯克尔;白鲸;奥特;ALF公司;自动化;HOL公司 引用于: 8文件 全部的 前5名16位作者引用 2 卡迪耶·凯什瓦尔杜斯特 2 莫伊根·马哈茂迪 1 罗伊·克罗。 1 Jasper Derikx 1 易卜拉希米、穆罕默德·迈赫迪 1 默多克·詹姆斯·加贝 1 马科托·哈马纳 1 朱斯塔斯·马蒂森 1 约书亚·莫尔曼 1 多米尼克·P·穆利根。 1 安德鲁·M·皮茨。 1 朱里安·罗特 1 蒂姆·谢尔德 1 戴维·文霍克 1 斯蒂芬妮·威里奇 1 布兰特·尤吉(Brent A.Yorgey)。 引用于5个系列 2 理论计算机科学 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 软计算 1 高阶和符号计算 在3个字段中引用 7 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文