毫升

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


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

显示506的结果1到20。
按年份排序(引用)

1 2 ... 24 25 26 下一个

  1. Ahmad,Waqar;Hasan,Osman;Tahar,Sofiène:智能电网变电站中基于以太网的通信网络的形式可靠性和故障分析(2020年)
  2. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  3. Barendregt,Henk P.:科拉多·Böhm的宝石(2020)
  4. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  5. Bry,francois:赞扬不精确性:对元编程形式化的贡献(2020)
  6. Karachalias,Georgios;Pretnar,Matija;Saleh,Amr Hany;Vanderhalen,Stien;Schrijvers,Tom:显性效应亚型(2020)
  7. 考夫曼,马特;摩尔,J.斯特罗瑟:一阶设置中的有限二阶功能(2020年)
  8. Jay,Barry:高阶函数的强度计算(2019)
  9. Kunčar,Ondřej;Popescu,Andrei:Isabelle/HOL的一致基础(2019年)
  10. Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2019)
  11. 李,李明;石志平;关勇;张,钱英;李永东:几何代数的形式化
  12. 米勒,戴尔:重温机械化元理论(2019)
  13. Moore,J.Strother:从纯Lisp定理证明者到ACL2的里程碑(2019)
  14. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  15. Tom Schrijvers;Oliveira,Bruno C.D.S.;Wadler,Philip;Marntirosian,Koar:COCHIS:稳定和连贯的隐含(2019)
  16. Viroli,Mirko;Beal,Jacob;Damiani,Ferruccio;Audrito,Giorgio;Casadei,Roberto;Pianini,Danilo:从分布式协调到场微积分和聚合计算(2019)
  17. Wang,Meng;Tian,Cong;Zhang,Nan;Duan,Zhenhua;Du,Hongwei:验证安全关键系统的调度协议(2019)
  18. 布朗基,弗里德里克:基于大小的高阶重写终止(2018)
  19. Farka,František;Komendantskya,Ekaterina;Hammond,Kevin:依赖型推理和术语综合的相关Horn子句证明(2018)
  20. Farmer,William M.:将引用和评价纳入Church的类型理论(2018)

1 2 ... 24 25 26 下一个