咖喱

Curry:一个真正实用的逻辑语言。功能和逻辑编程是最重要的声明性编程范式,并且在过去十年中对它们的兴趣已经增长。然而,集成功能逻辑语言目前未被广泛使用。这是由于操作原理没有得到很好的理解,并且已经提出了许多不同的评估策略,这导致了许多不同的功能逻辑语言。为了克服这种情况,我们提出了功能逻辑语言咖喱,可以作为一个标准的语言在这方面。它包含了现有功能逻辑语言的重要思想和最新发展,并结合了功能语言和逻辑语言的最重要特征。因此,Curyy可以是组合功能和逻辑编程社区当前分离的研究成果和提升一般性声明编程的基础。


ZBMaCT中的参考文献(41篇文章中引用)

显示结果1至20的41。
按年份排序(引文
  1. Cuenca Ortega,A.;Escobar,S.MeeGuer-J.:模排序公理程序的部分评估框架模公理(2020)
  2. Sandra Dylus,Jan Christiansen,芬恩·泰根:使用非严格非决定论实现概率编程库(2019)阿西夫
  3. Antoy,塞尔吉奥;Hanus,米迦勒:把布尔等式转化为约束条件(2017)
  4. Antoy、塞尔吉奥、Hanus、米迦勒:咖喱的缺省规则(2017)
  5. Lampropoulos,Leonidas;Gallois Wong,戴安娜;海里·铜,C·T·林;休斯,约翰;Pierce,Benjamin C.;夏,姚:初学者的运气:一个基于属性的生成器的语言(2017)
  6. Antoy,塞尔吉奥;Hanus,米迦勒:从布尔等式到约束(2015)
  7. Antoy,塞尔吉奥;约斯特,安迪:编译某些构造函数系统中的崩溃规则(2015)
  8. 基什内尔、琳恩:重写策略与战略重写程序(2015)
  9. Antoy、塞尔吉奥、约斯特、安迪:功能逻辑语言的编译:\TeXTITE公平方案(2014)
  10. Escobar,圣地亚哥:莫德的功能逻辑程序设计(2014)
  11. Hanus,米迦勒;Koschnicke,斯温:一个基于ER的声明式Web编程框架(2014)伊波尔特
  12. Lindblad,Fredrik:高阶逻辑的聚焦序列演算(2014)
  13. Hanus,米迦勒:功能逻辑程序设计:从理论到咖喱(2013)
  14. Antoy、塞尔吉奥、彼得斯、亚瑟:功能逻辑语言的编译:基本方案(2012)伊波尔特
  15. 费尔南德斯,Maribel;基什内尔,H·L·E;Namet,奥利维尔:图形重写的策略语言(2012)
  16. K·克萨尔,Ali Sinan;Kuncak,维克托;Suter,菲利普:约束作为控制(2012)伊波尔特
  17. 文胸,贝尔恩德,Hanus,米迦勒;Pem Ole勒,BJ Orn;Rek,Fabian:KICS2:从Cury到Haskell的新编译器(2011)伊波尔特
  18. 克里斯琴,简;塞德尔,丹尼尔;Voigtl Snnder-JaNIS:一种充分的、指称的、功能型语义学,用于类型化的扁平咖喱(2011)
  19. Giorgidze、乔治、尼尔森、亨利克:迭代级DSL(2011)的混合级嵌入和JIT编译伊波尔特
  20. Tim A.,库亨,赫伯特:逻辑Java:结合面向对象和逻辑编程(2011)伊波尔特