• 毫升

  • 491篇参考文献[SW01218]
  • 集合,命令式编程,按值调用咖喱. 它在编程语言中被大量使用。
  • 咖喱

  • 41篇参考文献[ SW08981]
  • 咖喱一个真正实用的逻辑语言。功能和逻辑编程是最重要的声明性…情况下,我们提出了函数逻辑语言咖喱它可以作为一种标准语言来处理…功能语言和逻辑语言的特点。因此,咖喱可以结合的基础…
  • PAKCS

  • 27篇参考文献[SW1368 8]
  • 多范式声明语言的实现咖喱由波特兰州立大学联合开发…基于一个高层次的编译咖喱程序变成Prolog程序…环境,面向对象的前端咖喱,部分评估器,数据库应用程序,HTML编程与…系统)。因此,所有电流的大小咖喱应用PAKCS实现更多的…
  • KICS2

  • 9篇参考文献[SW07613]
  • KICS2:一个新的编译器咖喱哈斯克尔在本文中,我们提出我们的第一…源语言的功能逻辑程序咖喱纯功能Haskell程序。我们的实施…具有或优于其他现有的实现方式咖喱
  • 易检查

  • 11篇参考文献[SW07935]
  • 用函数逻辑程序设计语言编写咖喱强调逻辑特征的有用性…
  • 目标咖喱

  • 3篇参考文献[SW01593]
  • 声明式多范式语言的扩展咖喱 咖喱结合功能,逻辑的概念…端口允许对象的建模咖喱类似于面向对象的编程语言…当前Objut-Curry,一个保守的扩展咖喱. ObjutCury允许直接定义模板…程序可以从对象咖喱翻译成咖喱通过利用并发性和分布特征…
  • 棒棒糖

  • 5篇参考文献[SW22624]
  • 通过经典线性逻辑的并发性咖喱-霍华德和控制。虽然许多类型的系统为基础…
  • 扁平咖喱

  • 3篇参考文献[SW28 856]
  • FlatCurry:中间表示咖喱程序为了提供一个通用的接口…连接不同的工具咖喱用另一个(函数逻辑)声明的程序或程序…
  • 对偶凸轮

  • 4篇参考文献[SW22681]
  • 如类型推断、多态类型和咖喱的功能。我们实现了一个原型编译器…
  • 榛子

  • 2篇参考文献[SW22659]
  • 类型与上下文模态类型理论咖喱霍华德对语境模态逻辑的解释。最后…
  • 无λrPOS

  • 2篇参考文献[SW28 792]
  • 订单条款也存在于咖喱区别于以前的工作。一个优化的…
  • 辅酶Q

  • 1725篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 米兰达

  • 148篇参考文献[SW0988]
  • 米兰达:一个具有多态性的非严格功能语言。