毫升

ML('Meta Language')是一种通用函数式编程语言。它源于Lisp,被称为“带类型的Lisp”。众所周知,它使用了多态的Hindley–Milner类型系统,它可以自动分配大多数表达式的类型,而不需要显式的类型注释,并确保类型安全–有一个正式的证据表明,一个类型良好的ML程序不会导致运行时类型错误。[1]ML为函数参数提供模式匹配,垃圾收集,命令式编程,按值调用和currying。它在程序设计语言研究中被大量使用,是为数不多的使用形式语义完全指定和验证的语言之一。它的类型和模式匹配使它非常适合并常用于其他形式语言上的操作,例如编译器编写、自动定理证明和形式验证。(维基百科)


zbMATH中的参考文献(参考 502篇文章 参考,4标准条款)

显示第20到第502个结果。
按年份排序(引用)

1 2 ... 24 25 26 下一个

  1. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  2. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  3. Bry,francois:赞扬不精确性:对元编程形式化的贡献(2020)
  4. 考夫曼,马特;摩尔,J.斯特罗瑟:一阶设置中的有限二阶功能(2020年)
  5. Jay,Barry:高阶函数的强度计算(2019)
  6. Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2019)
  7. 安德烈·埃贡达基金会,2019年
  8. 李,李明;石志平;关勇;张,钱英;李永东:几何代数的形式化
  9. 米勒,戴尔:重温机械化元理论(2019)
  10. Moore,J.Strother:从纯Lisp定理证明者到ACL2的里程碑(2019)
  11. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  12. Tom Schrijvers;Oliveira,Bruno C.D.S.;Wadler,Philip;Marntirosian,Koar:COCHIS:稳定和连贯的隐含(2019)
  13. Viroli,Mirko;Beal,Jacob;Damiani,Ferruccio;Audrito,Giorgio;Casadei,Roberto;Pianini,Danilo:从分布式协调到场微积分和聚合计算(2019)
  14. Wang,Meng;Tian,Cong;Zhang,Nan;Duan,Zhenhua;Du,Hongwei:验证安全关键系统的调度协议(2019)
  15. 布朗基,弗里德里克:基于大小的高阶重写终止(2018)
  16. Farka,František;Komendantskya,Ekaterina;Hammond,Kevin:依赖型推理和术语综合的相关Horn子句证明(2018)
  17. Farmer,William M.:将引用和评价纳入Church的类型理论(2018)
  18. Harper,Robert:开放世界中的异常跟踪(2018)
  19. 汤姆·梅勒姆:《符号轨迹评估》(2018)
  20. Paulson,Lawrence C.:计算逻辑:它的起源和应用(2018)

1 2 ... 24 25 26 下一个