毫升

ML(“元语言”)是一种通用的函数式编程语言。它起源于LISP,并被称为“带有类型的Lisp”。它是众所周知的使用多态欣德利-米尔纳类型的系统,它自动分配的类型的大多数表达式,而不需要明确的类型注释,并确保类型安全-有一个正式的证明,一个良好的ML程序不会造成运行时类型错误。[ 1 ] ML提供模式匹配的函数参数,垃圾收集、命令式编程、按值调用和处理。它在编程语言研究中被大量使用,是使用形式语义完全指定和验证的少数几种语言之一。它的类型和模式匹配使得它非常适合并且常用于其他形式语言,如编译器编写、自动定理证明和形式验证。(维基百科)


ZBMaX中的参考文献(491篇)4篇标准文章

显示结果1至20的491。
按年份排序(引文
  1. 杰伊,巴里:高阶函数的内涵计算(2019)
  2. 波佩斯库,安德列:伊莎贝尔/HOL的一致基础(2019)
  3. Kun-ar,On.EJ;波佩斯库,安德列:从高阶逻辑中的局部类型定义到类型集(2019)
  4. 李,李明;石,支平;关,Yong;张,钱莹;李,李:HOLL光中几何代数的形式化(2019)
  5. Miller、Dale:机械化元理论再探(2019)
  6. 施里夫斯,汤姆;奥利维拉,布鲁诺C.D.S.;Wadler,菲利普;马恩蒂罗西安,考尔:耳蜗:稳定和连贯暗示(2019)
  7. Viroli,米尔科;Beal,雅各伯;达米亚尼,FruCio;Addito,吉奥吉奥;Casadii,罗伯托;Pig,y:从分布式协调到字段演算和聚合计算(2019)
  8. 王,孟;田,康镇;张,南;段,Zhenhua;杜,红伟:验证安全关键系统调度协议(2019)
  9. Blanqui,弗雷德里克:基于高阶重写的基于大小的终止(2018)
  10. 法尔卡,弗兰提克,Komendantskya,Ektina;哈蒙德,凯文:相关类型推理和术语合成的证明相关的角子句(2018)
  11. 农民、William M.:教会理论的引用与评价(2018)
  12. Harper、罗伯特:开放世界中的例外追踪(2018)
  13. Melham,汤姆:符号轨迹评估(2018)
  14. 保尔森,Lawrence C.:计算逻辑:起源与应用(2018)
  15. 罗斯伯格,安德烈亚斯:1ML——核心和模块联合(2018)
  16. Shankar、Natarajan:模型检验与演绎的结合(2018)
  17. 施,凌;赵,永新;刘,杨;孙,军;Dong,金松;秦,盛超:一个用于共享变量的进程的UTP语义及其在PVS中的形式编码(2018)
  18. 石,Zhiping;吴,Aixuan;杨,Xiumei;关,Yong;李,雍东;宋,雍东:螺旋理论中雅可比运动的形式分析(2018)
  19. 伯杰,Ulrich;Hou,领带:教会简单类型论的可实现性解读(2017)
  20. Blanchette,Jasmin Christian;Bouzy,艾默里克;洛克比勒,安德烈亚斯;波佩斯库,安德列;特雷特尔,Dmitriy:有利益的朋友。在基础证明助手中实施CalurursIn(2017)