米兰达

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


zbMATH中的参考文献(参考文献152篇文章,1标准件)

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

1 2 ... 6 7 8 下一个

  1. Maximiliano Cristiá,Andrea Fois,Gianfranco Rossi:使用JSetL在Java中使用内涵集的声明性编程(2020)阿尔十四
  2. Bendkowski,Maciej:正规降阶文法(2017)
  3. Peter Achten:《为什么函数式编程对我很重要》(2013)ioport公司
  4. 牧师,西尔维亚;佐尔坦,克里斯蒂娜;Prestigiacomo,Guillermo:图形和增量类型推理。图变换方法(2013)
  5. Koopman,Pieter:功能语义学(2013)
  6. 阿娜,波夫;戴比杰,彼得;Sicard Ramírez,Andrés:在函数程序的一阶理论中结合交互式和自动推理(2012)
  7. 可汗,穆罕默德·泰穆尔;Schreiner,Wolfgang:走向Maple程序的正式规范和验证(2012)
  8. 恩德鲁利斯,约格;亨德里克斯,迪米特里:《通过终止实现懒惰的生产力》(2011)
  9. 牧师,西尔维亚;佐尔坦,克里斯蒂娜;Prestigiacomo,Guillermo:Nimotons:一个用于程序调优和实验的完全图形化工作台(2009)ioport公司
  10. 麦奎因,大卫B.:函数式编程之初的卡恩网络(2009)
  11. Kesner,Delia:重温有显式替换的计算理论(2007)
  12. 穆萨维,穆萨维;雷尼尔,米歇尔A。;Groote,Jan Friso:SOS格式和元理论:20年后(2007)
  13. 考克肖特,保罗;Michaelson,Greg:向量Pascal中的正交并行处理(2006)
  14. 穆萨维,穆罕默德·雷扎;Reniers,Michel A.:Maude中的SOS元理论原型(2006)
  15. 格劳特,约翰;凯斯纳,黛丽娅;Khasidashvili,Zurab:表达式简化系统和扩展:综述(2005)
  16. 奈德贾,纳迪亚;de Macedo Mourelle,Luiza:更有效的左到右重叠模式匹配(2005)
  17. Schmidt Schauß,曼弗雷德;Schulz,Klaus U:有界高阶统一的可判定性(2005)
  18. Stärk,Robert F.:严格和懒惰函数程序的公理(2005)
  19. 塞里托,塞雷内拉;Kesner,Delia:模式匹配作为切割消除(2004)
  20. 莫劳,皮埃尔·艾蒂安;Zendra,Olivier:GC(^2):ATERM库的代保守垃圾收集器(2004)

1 2 ... 6 7 8 下一个