• 哈斯克尔

  • 813篇参考文献[SW03521]
  • 哈斯克尔是一个标准化的、通用的纯函数式编程语言,具有非严格的语义…静态类型。它是以逻辑学家的名字命名的。哈斯克尔咖喱
  • 阿加达

  • 170篇参考文献[SW0969]
  • 归纳家庭,类似于哈斯克尔是GADTs,但它们可以被索引…
  • GHC

  • 87篇参考文献[SW0691]
  • 格拉斯哥的秘密哈斯克尔编译器内联。高阶语言,如哈斯克尔鼓励…内联,在格拉斯哥使用的哈斯克尔编译程序。我们主要集中在算法…
  • 快速检查

  • 86篇参考文献[SW0727 7]
  • 用于随机测试的轻量级工具哈斯克尔程序快速检查是一种帮助…的工具。哈斯克尔程序员编写和测试程序的属性。属性被描述为哈斯克尔功能。。。
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 对语言如ML和哈斯克尔. 它提供了类似的计算“感觉”,提供…
  • 勒马尔

  • 50篇参考文献[SW04809]
  • 也可以用C++,Matlab,Perl,Python,哈斯克尔和TCL,并解释它们的用途。两者都…
  • 伊德里斯

  • 31篇参考文献[ SW2001 11]
  • 热切的评价。它的特点受到影响。哈斯克尔和ML,并包括:全依赖型…更新;接口(类似于类型类)哈斯克尔类型驱动超载分辨率;DO符号…
  • 卡宴

  • 29篇参考文献[SW0966]
  • 依存类型的语言。卡宴是一个哈斯克尔类似语言。主要区别哈斯克尔
  • 塞塔

  • 40篇参考文献[ SW065 84]
  • 产生高效和认证哈斯克尔程序,CETA,它可以用来证明…
  • GF

  • 32篇参考文献[SW13667 ]
  • 论文通过简短的讨论结束。哈斯克尔GF的实现、现有的应用以及相关的…
  • 息肉

  • 31篇参考文献[SW09131]
  • 扩展函数语言(子集)哈斯克尔用一个构造多类型函数的结构…
  • 塑料

  • 18篇参考文献[SW07403]
  • 强制亚型塑料是一种实现方式哈斯克尔- 98的类型LF与各种扩展…高阶非严格函数语言哈斯克尔,并使用快乐分析器生成器…
  • 18篇参考文献[SW13680]
  • 哈斯克尔对象观察调试器(HUD)是一个用于懒惰函数的小型验尸调试器。语言哈斯克尔. 它是基于观察中间数据结构的概念,而不是…
  • 帽子

  • 23篇参考文献[SW1367 9]
  • 程序语言的源级示踪剂哈斯克尔. 帽子提供细节,否则无形…
  • 树胶

  • 13篇参考文献[SW09417]
  • 便携式并行实现哈斯克尔. 口香糖是一种便携式的,并行实现的哈斯克尔功能性的…提高并行性能哈斯克尔程序胶提供了监测和可视化工具。
  • 警句

  • 21篇参考文献[SW0967]
  • 查找以下类型错误哈斯克尔表达式:如果null xs然后尾部…
  • 岩浆

  • 12篇参考文献[ SW28 64 3]
  • 熔岩:硬件设计哈斯克尔. 熔岩是一个工具,以协助电路设计人员在指定…硬件实现。这是一个收藏哈斯克尔模块系统设计采用功能程序设计。
  • 小支票

  • 17篇参考文献[ SW0936]
  • 小数值。本文介绍了两个哈斯克尔用于基于属性的测试的库。跟随领先…
  • 芙蕾雅

  • 17篇参考文献[SW1368]
  • 三种跟踪与调试系统的比较哈斯克尔节目:Freja,帽子和胡德。我们评估…