米兰达

Miranda:一种具有多态类型的非严格函数语言。在过去的几年里,人们对函数式编程的本质进行了大量卓有成效的研究。尽管仍有许多重要的问题没有得到回答,但似乎很明显,我们已经到了一个适当的阶段,将我们迄今为止发现的东西以完整和有良好文档记录的编程语言的稳定实现的形式提供给更大的社区。Miranda是一种函数式编程语言,它是基于这个目的而开发的。鉴于该领域的研究人员在一些相当基本的问题上仍然存在诚实的分歧,我们不可能有一个单一的载体。米兰达体现了一套设计决策。米兰达的基本思想是紧密模仿早期语言SASL和KRC的。为了得到一个更适合解决大问题的系统,Miranda为这个基础增加了(i)多态类型系统和(ii)具有类型安全设施的库结构,用于单独编译和链接。本文的主要部分将讨论类型系统,特别是Miranda中用户定义类型的功能,而语言的其他方面及其编程环境仅作简要概述。


zbMATH中的参考文献(引用于 150篇文章,1标准件)

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

1 2 ... 6 7 8 下一个

  1. Bendkowski,Maciej:正规降阶文法(2017)
  2. Peter Achten:《为什么函数式编程对我很重要》(2013)ioport公司
  3. 克莱里希,西尔维亚;佐尔坦,克里斯蒂娜;普雷斯蒂亚科莫,吉列尔莫:图形和增量类型推理。图变换方法(2013)
  4. Koopman,Pieter:功能语义学(2013)
  5. Bove,Ana;Dybjer,Peter;Sicard Ramírez,Andres:在函数程序的一阶理论中结合交互式和自动推理(2012)
  6. Khan,Muhammad Taimoor;Schreiner,Wolfgang:走向Maple程序的正式规范和验证(2012)
  7. Endrullis,Jörg;Hendriks,Dimitri:Lazy productivity via termination(2011年)
  8. Silvia,Clerici;Zoltan,Cristina;Prestigiacomo,Guillermo:NiMoToons:一个用于程序调优和实验的完全图形化工作台(2009)ioport公司
  9. 麦奎因,大卫B.:函数式编程之初的卡恩网络(2009)
  10. Kesner,Delia:重温有显式替换的计算理论(2007)
  11. Mousavi,Mohammadeza;Reniers,Michel A.;Groote,Jan Friso:SOS格式和元理论:20年后(2007年)
  12. Cockshott,Paul;Michaelson,Greg:向量Pascal中的正交并行处理(2006)
  13. Mousavi,Mohammad Reza;Reniers,Michel A.:Maude中的SOS元理论原型(2006)
  14. Glauert,John;Kesner,Delia;Khasidashvili,Zurab:表达式简化系统和扩展:概述(2005)
  15. Nedjah,Nadia;de Macedo Mourelle,Luiza:更有效的左到右重叠模式匹配(2005)
  16. Schmidt Schauß,Manfred;Schulz,Klaus U.:有界高阶统一的可判定性(2005)
  17. Stärk,Robert F.:严格和懒惰函数程序的公理(2005)
  18. Cerrito,Serenella;Kesner,Delia:模式匹配即切割消除(2004)
  19. Moreau,Pierre Etienne;Zendra,Olivier:GC(^2):ATERM库的世代保守垃圾收集器(2004)
  20. Frost,Richard;Boulos,Pierre:自然语言数据库查询的有效组合语义,具有任意嵌套的量化和否定(2002)

1 2 ... 6 7 8 下一个