毫升 swMATH编号： 1218 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 描述： ML（“元语言”）是一种通用函数编程语言。它源于Lisp，并被描述为“带类型的Lisp”。它以使用多态Hindley–Milner类型系统而闻名，该系统自动分配大多数表达式的类型，而不需要显式类型注释，并确保类型安全–有一个正式的证据表明，一个类型良好的ML程序不会导致运行时类型错误。[1] ML为函数参数、垃圾收集、命令式编程、按值调用和currying提供模式匹配。它在编程语言研究中被大量使用，是为数不多的使用形式语义完全指定和验证的语言之一。它的类型和模式匹配使它非常适合并常用于操作其他形式语言，例如在编译器编写、自动定理证明和形式验证中。（维基百科） 主页： http://smlnj.org/sml97.html 相关软件： HOL公司;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 ☑特拉安·弗洛林（Traian Florin） 5 康拉德·斯林德 5 范·贝克尔，斯特芬 5 菲利普·李瓦德勒 4 David A.Basin。 4 克里斯托夫·埃瓦尔德·本兹穆勒 4 理查德·博尔顿。 4 马里奥·科波 4 法默，威廉·M。 4 马里奥弗洛里多 4 简·赫尔曼·杰弗斯 4 本田、高黑 4 阿萨夫·科福里。 4 昆查尔，Ondřej 4 J Strother摩尔 4 斯科特·欧文斯 4 弗兰克·芬宁 4 唐纳德·桑内拉。 4 托夫特，疯子 4 约瑟夫·乌尔班 4 Tjark韦伯 4 Wells，Joe B。 4 马卡里乌斯·温泽尔 4 吉田、Nobuko 3 萨姆森·艾布拉姆斯基 3 Böhme，萨沙 3 卢卡斯·布尔瓦恩 3 维托尔·桑托斯·科斯塔 3 马里亚纽拉州Dezani-Ciancaglini 3 段振华 3 多米尼克·达根 3 艾米·费尔蒂（Amy P.Felty）。 3 杰拉德·P·休特。 3 赫德，乔 3 李永坚 3 何塞·梅塞盖尔·瓜伊塔 3 约翰·米切尔（John C.Mitchell）。 3 彼得·莫塞斯（Peter D.Mosses）。 3 安德烈·穆拉夫斯基。 3 玛格努斯·奥·米林。 3 罗伯·奈德佩尔特 3 弗莱明·尼尔森 3 史蒂文·奥布阿 3 Atsushi Ohori 3 约翰·H·Reppy。 3 西蒙娜·隆奇·德尔拉·罗卡 3 汤姆·施里杰弗斯 3 宋晓宇 3 田聪 3 德米特里·特拉泰尔 3 尼科斯·齐夫列科斯 3 詹姆斯·C·P·伍德科克。 3 张楠 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公司。理论信息学及其应用 3 骨髓间充质干细胞。计算机科学中的数学结构 3 逻辑程序设计理论与实践 3 计算机语言、系统和结构 3 计算机科学中的数学 3 程序设计中的逻辑和代数方法杂志 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） 153 数学逻辑和基础（03-XX） 5 范畴理论；同调代数（18-XX） 5 信息与通信理论、电路（94-XX） 4 历史和传记（01-XX） 4 有序，格，有序代数结构（06-XX） 4 一般代数系统（08-XX） 4 概率论与随机过程（60-XX） 4 运筹学、数学规划（90-XX） 3 数论（11-XX） 3 数值分析（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） 按年份列出的引文