MLton公司 swMATH ID: 14937 软件作者: 斯蒂芬·T·威克斯 描述: MLton是一个开源、全程序、优化的标准ML编译器。标准ML(SML)是一种编程语言,它结合了对快速原型、模块化和大型程序开发的出色支持,性能接近C。 主页: http://mlton.org/主页 相关软件: HOL公司;伊莎贝尔/HOL;OCaml公司;Coq公司;Dijkstra最短路径;存档正式证据;分离逻辑;伊莎贝尔;聚乙烯/ML;蛋糕ML;HOL灯;石笼SCC;精炼一元;埃德蒙兹-卡普;BEEM公司;电源保护;开放理论;HOL零;吉塔瓦;拉瓦 引用于: 11文件 全部的 前5名25位作者引用 三 彼得·兰米奇 1 奥斯卡·亚伯拉罕森 1 乌穆特·阿卡尔。 1 盖伊·E·布莱洛赫。 1 雅克·卡雷特 1 传真:Karl-Filip 1 Jean-Christophe Filliátre 1 Anthony C.J.福克斯。 1 托马斯·卡利斯特·黑尔斯 1 苏雷什·贾甘纳森 1 奥列格·基塞利约夫 1 拉马纳·库马尔 1 肖恩·麦克劳林 1 斯特凡·穆勒。 1 玛格努斯·奥·米林。 1 托比亚斯·尼普科 1 迈克尔·诺里什 1 史蒂文·奥布阿 1 斯科特·欧文斯 1 弗朗索瓦·波蒂埃 1 Raghunathan、Ram 1 塞菲加·雷扎 1 Tan,Yong Kiam先生 1 卢卡斯·齐亚雷克 1 罗兰·祖姆凯勒 5篇连载文章中引用 三 函数编程杂志 2 自动推理杂志 1 计算机程序设计科学 1 离散和计算几何 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 10 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 凸和离散几何(52至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文