×

新鲜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文件

按年份列出的引文