MetaOCaml公司 swMATH ID: 9230 软件作者： 瓦利德·塔哈；克里斯蒂亚诺·卡尔卡尼奥；泽维尔·勒罗伊；Ed Pizzi；埃米尔·帕萨利克；杰森·李·埃克哈特（Jason Lee Eckhardt）；鲁门·凯亚巴切夫；奥列格·基塞利奥 描述： MetaOCaml是OCaml编程语言的多阶段扩展，提供了三个基本构造，分别称为括号、Escape和Run，用于构建、组合和执行未来阶段的计算。（请阅读发行版中的README-META文件，了解MetaOCaml对这些构造的语法）。MetaOCaml是MetaML的编译方言。 主页： http://www.cs.rice.edu/~塔哈/MetaOCaml/ 相关软件： OCaml公司;阿格达;Coq公司;微型ML;重新选择;HOL灯;ETPS公司;HOL公司;毫升;X减少;数学方案;HOL灯QE;伊德里斯;IMPS公司;非对称性;Nuprl公司;MetaPRL公司;枣灰蝶属;ACL2型;ScalaBlitz公司 引用于： 9文件 全部的 前5名19位作者引用 2 Farmer，William M。 2 奥列格·基塞利约夫 1 阿格洛斯·比布迪斯 1 雅克·卡雷特 1 杰森·埃克哈特 1 菲利普·安·加德纳 1 羽一郎羽田 1 Atsushi Igarashi 1 鲁门凯亚巴切夫 1 联盟，克里斯托弗 1 刘宇大卫 1 塞尔吉奥·马菲斯 1 尼克·帕拉迪诺斯 1 埃米尔·帕萨利克 1 克里斯蒂安·斯卡尔卡 1 亚尼斯·斯马拉格达基斯 1 斯科特·史密斯。 1 斯瓦迪，基达尔N。 1 瓦利德·塔哈 5篇连载文章中引用 2 计算机程序设计科学 1 新一代计算 1 信息与计算 1 高阶和符号计算 1 逻辑与代数程序设计杂志 在2个字段中引用 9 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文