米兰达

米兰达:一种具有多态类型的非严格功能语言。最近几年,人们对函数式编程的性质进行了卓有成效的研究。虽然仍然有许多重要的问题没有得到回答,但很明显,我们已经达到了一个适当的位置,即我们已经发现了迄今为止我们发现的一个更大的社区,以完整和良好文档化的编程语言的稳定实现的形式。米兰达是一个功能性编程语言,它是伴随着这个目的而发展起来的。鉴于在该领域的研究人员之间的一些基本问题仍然存在着诚实的分歧,我们不能有一个单一的车辆。米兰达体现了一套设计决策。米兰达的基本思想与早期语言SASL和KRC密切相关。为了达到一个更适合处理大问题的系统,米兰达添加了这个基础(i)一个多态类型系统和(ii)一个具有独立的编译和链接的安全设施类型的库结构。本文的主要部分将讨论的类型系统,特别是在米兰达的用户定义类型的设施,与其他方面的语言和它的编程环境只是简要勾画。


ZBMaX中的参考文献(148篇)1标准条款

显示结果1至20的148。
按年份排序(引文
  1. Bendkowski,MACIEJ:正常降阶文法(2017)
  2. Achten,彼得:为什么函数编程对我很重要(2013)伊波尔特
  3. Curri,西尔维亚;佐尔坦,克里斯蒂娜;普雷斯蒂佳科莫,吉列尔莫:图形和增量类型推理。图变换方法(2013)
  4. Koopman,Pieter:功能语义学(2013)
  5. 博韦,阿纳河;Dybjer,彼得;SICARD RAMIE Rez,安德烈斯:功能程序一阶理论中的交互式和自动推理相结合(2012)
  6. 可汗,Muhammad Taimoor;SrReNER,沃尔夫冈:Maple程序的形式化规范和验证(2012)
  7. Endrullis,J.R.Rg;Hendriks,迪米特里:通过终止的懒惰生产力(2011)
  8. 西尔维亚,佐尔坦,克里斯蒂娜;普雷斯蒂佳科莫,吉列尔莫:尼莫托斯:一个用于程序调整和实验的全图形工作台(2009)伊波尔特
  9. 麦奎因,David B.:KAN网络在功能编程的曙光(2009)
  10. Kesner,迪莉娅:重新认识有显性取代的结石理论(2007)
  11. 穆萨维、Mohammadreza、雷尼尔、Michel A.、Groote、Jan Friso:SOS格式与元理论:20年后(2007)
  12. 科克肖特,保罗;Michaelson,格雷戈:向量PASCAL(2006)中的正交并行处理
  13. 穆萨维,Mohammad Reza;雷尼尔,Michel A.:莫德(2006)中的SOS元理论原型
  14. Glauert,约翰;Kesner,迪莉娅;Khasidashvili,Zurab:表达式约简系统和扩展:综述(2005)
  15. Nejjh,纳迪娅;de Macedo Mourelle,LuiZa:更有效的左到右匹配重叠模式(2005)
  16. Schmidt Schau,曼弗雷德,舒尔茨,Klaus U.:有界高阶统一的可判定性(2005)
  17. StasRK,Robert F.:严格和懒惰函数程序的公理(2005)
  18. Cerrito,SeleNela;Kesner,迪莉娅:模式匹配作为切割消除(2004)
  19. Muluu,Pierre Etienne;Zendra,奥利维尔:GC(^ 2):AtLM文库的代用保守垃圾收集器(2004)
  20. Frost,李察;Boulos,彼埃尔:任意嵌套量化和否定的自然语言数据库查询的有效合成语义学(2002)