毫升 swMATH ID: 1218 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 描述： ML（“元语言”）是一种通用的函数式编程语言。它源于Lisp，并被描述为“带类型的Lisp”。它以使用多态Hindley–Milner类型系统而闻名，该系统自动分配大多数表达式的类型，而不需要显式类型注释，并确保类型安全–有一个正式的证据表明，一个类型良好的ML程序不会导致运行时类型错误。[1] ML为函数参数、垃圾收集、命令式编程、按值调用和currying提供模式匹配。它在编程语言研究中被大量使用，并且是使用形式语义完全指定和验证的少数语言之一。它的类型和模式匹配使它非常适合并常用于操作其他形式语言，例如在编译器编写、自动定理证明和形式验证中。（维基百科） 主页： http://smlnj.org/sml97.html 相关软件： 霍尔；Coq公司；伊莎贝尔；伊莎贝尔/HOL；哈斯克尔；HOL灯；PVS公司；Nuprl公司；低成本融资；自动化；ACL2型；NQTHM公司；存档正式证据；VAMPIRE公司；米兰达；腿；米扎尔；伊萨尔；OCaml公司；开普勒98 引用于： 516文件 标准条款 4出版物描述软件，包括4出版物以zbMATH为单位 年份 HOL简介。高阶逻辑的定理证明环境。 Zbl 0779.68007号迈克·戈登。（编辑）；梅勒姆，T.F。（编辑） 1993 ML编程的要素。 Zbl 0821.68025号杰弗里·乌尔曼。 1993 工作程序员的ML。 Zbl 0746.68019号劳伦斯·C·保尔森。 1990 编程中的类型多态理论。 Zbl 0388.68003号罗宾·米尔纳 1978 全部的 前5名738位作者引用 19 奥斯曼·哈桑 19 索菲涅·塔哈尔 11 劳伦斯·查尔斯·保尔森 10 贾斯敏·克里斯蒂安·布兰切特 9 托比亚斯·尼普科 7 安德烈·塔莱基 6 罗伯特·哈珀 6 安德鲁·皮特斯（Andrew M.Pitts）。 6 安德烈·波佩斯库 5 哈桑·阿姆贾德 5 塞萨里·卡利西克 5 戴尔·艾伦·米勒 5 普雷特纳，马蒂亚 5 格里高·罗什乌 5 Şerbănuţă，特拉恩·弗洛林 5 康拉德·斯林德 5 范·贝克尔，斯特芬 5 菲利普·李·沃德勒 4 David A.Basin。 4 克里斯托夫·埃瓦尔德·本兹穆勒 4 理查德·博尔顿。 4 马里奥·科普 4 Farmer，William M。 4 马里奥弗洛里多 4 简·赫尔曼·杰弗斯 4 本田、高黑 4 阿萨夫·科福里。 4 昆查尔，Ondřej 4 J Strother摩尔 4 斯科特·欧文斯 4 弗兰克·芬宁 4 唐纳德·桑内拉。 4 托夫特，疯子 4 约瑟夫·乌尔班 4 韦伯，特贾克 4 Wells，Joe B。 4 马卡里乌斯·温策尔 4 吉田、Nobuko 三 萨姆森·艾布拉姆斯基 三 Böhme，萨沙 三 卢卡斯·布尔瓦恩 三 维托尔·桑托斯·科斯塔 三 马里亚纽拉州Dezani-Ciancaglini 三 段振华 三 多米尼克·达根 三 艾米·费尔蒂（Amy P.Felty）。 三 杰拉德·P·休特。 三 赫德，乔 三 李永坚 三 何塞·梅塞盖尔·瓜伊塔 三 约翰·米切尔（John C.Mitchell）。 三 彼得·莫塞斯（Peter D.Mosses）。 三 安德烈·穆拉夫斯基。 三 玛格努斯·奥·米林。 三 Rob Nederpelt公司 三 弗莱明·尼尔森 三 史蒂文·奥布阿 三 Atsushi Ohori 三 约翰·H·Reppy。 三 西蒙娜·隆奇·德尔拉·罗卡 三 汤姆·施里杰弗斯 三 宋晓宇 三 田聪 三 德米特里·特拉泰尔 三 尼科斯·齐夫列科斯 三 詹姆斯·C·P·伍德科克。 三 张楠 2 纳伊姆·阿巴斯 2 彼得·阿奇顿 2 马克·亚当斯 2 瓦卡尔·艾哈迈德 2 贝扎德·阿克巴普尔 2 安德鲁斯，彼得·B·。 2 理查德·巴纳赫 2 安德烈·鲍尔 2 亚历山大·本特坎普 2 尼克·本顿 2 马丁·伯杰（Martin J.Berger）。 2 伊夫·贝托特 2 拉尔斯·比克达尔 2 安·布兰德福德 2 乍得·布朗·爱德华 2 卢卡·卡德利 2 安娜·卡瓦尔坎蒂 2 保罗·库松 2 费卢西奥·达米亚尼 2 奥利维尔·丹维 2 大卫·德拉哈耶 2 理查德·艾森伯格。 2 玛丽贝尔·费尔南德斯 2 费雪，凯萨琳 2 雅克·弗莱里奥特。 2 马蒂亚斯·弗勒里 2 Fluet，Matthew T。 2 帕斯卡·方丹 2 西蒙·福斯特 2 尼库·弗鲁贾。 2 默多克·詹姆斯·加贝 2 西蒙·盖伊。 2 关、勇 …还有638位作者 全部的 前5名51篇连载文章中引用 82 理论计算机科学 51 自动推理杂志 30 信息与计算 23 计算的形式方面 20 函数编程杂志 13 符号计算杂志 11 高阶和符号计算 11 应用逻辑杂志 10 系统设计中的形式化方法 9 信息学报 9 纯逻辑与应用逻辑年鉴 8 计算机科学中的逻辑方法 7 信息处理信件 7 计算机与系统科学杂志 6 逻辑与代数程序设计杂志 4 人工智能 4 计算机程序设计科学 4 新一代计算 4 RAIRO公司。理论信息学及其应用 三 MSCS公司。计算机科学中的数学结构 三 逻辑程序设计理论与实践 三 计算机语言、系统和结构 三 计算机科学中的数学 三 程序设计中的逻辑和代数方法杂志 2 编程和计算机软件 2 计算机科学与技术杂志 2 组合优化期刊 1 应用科学中的数学方法 1 数学信使 1 信息科学 1 离散和计算几何 1 国际并行程序设计杂志 1 应用数学快报 1 密码学杂志 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 逻辑、语言与信息杂志 1 应用Clifford代数的进展 1 数学与人工智能年鉴 1 可靠的计算 1 启发式杂志 1 工程中的数学问题 1 IGPL逻辑杂志 1 计算机基础理论 1 萨达纳 1 剑桥理论计算机科学丛书 1 理论计算机科学电子笔记 1 数学论坛，Pi 1 非线性分析。理论、方法和应用 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 理论计算机科学课文。EATCS系列 全部的 前5名在28个字段中引用 491 计算机科学（68至XX） 154 数学逻辑和基础（03-XX） 5 范畴理论；同调代数（18-XX） 5 信息与通信理论、电路（94-XX） 4 历史和传记（01-XX） 4 阶、格、有序代数结构（06-XX） 4 一般代数系统（08-XX） 4 概率论与随机过程（60-XX） 4 运筹学、数学规划（90-XX） 三 数论（11-XX） 三 数值分析（65-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 凸和离散几何（52至XX） 2 数学教育（97-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 群论与推广（20-XX） 1 实函数（26年X月X日） 1 特殊功能（33至XX） 1 常微分方程（34-XX） 1 欧氏空间的调和分析（42至XX） 1 一般拓扑结构（54-XX） 1 粒子和系统力学（70-XX） 1 光学、电磁理论（78-XX） 1 量子理论（81-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文