• 哈斯克尔

  • 引用843篇文章[sw03521]
  • 哈斯克尔是一种标准化的、通用的纯函数式编程语言,具有非严格的语义。。。静态类型。它是以逻辑学家的名字命名的哈斯克尔咖喱。。。
  • 阿格达

  • 引用182篇文章[sw09689]
  • 归纳族,类似于哈斯克尔是GADTs,但它们可以被索引。。。
  • GHC公司

  • 在102篇文章中引用[sw06691]
  • 格拉斯哥的秘密哈斯克尔编译器内联线。高阶语言,如哈斯克尔鼓励。。。内线,格拉斯哥用的那种哈斯克尔编译器。我们主要关注算法。。。
  • 快速检查

  • 引用88篇[sw07277]
  • 用于随机测试的轻型工具哈斯克尔程序。快速检查工具。。。哈斯克尔程序设计和测试程序属性的程序员。属性描述为哈斯克尔功能。。。
  • 佩斯卡

  • 在129篇文章中引用[sw13664]
  • 用函数式程序设计语言编写的哈斯克尔...
  • 羽状爪哇

  • 引用90篇文章[sw16204]
  • 对诸如ML和哈斯克尔. 它提供了类似的计算“感觉”,提供。。。
  • 列夫马尔

  • 引用了55篇文章[sw04809]
  • 也可以从C++、Matlab、Perl、Python,哈斯克尔并解释了它们的用途。两者。。。
  • 伊德里斯

  • 在34篇文章中引用[sw20011]
  • 热切的评价。其特征受哈斯克尔和ML,并且包括:完全依赖类型。。。更新;接口(类似于中的类型类哈斯克尔);类型驱动的重载解析;do notation。。。
  • 塞塔

  • 引用46篇文章[sw06584]
  • 生成一个高效且经过认证的哈斯克尔程序,CeTA,可以用来证明。。。
  • 卡宴

  • 引用了29篇文章[sw09686]
  • 具有依赖类型的语言。卡宴是哈斯克尔-喜欢语言。两者之间的主要区别哈斯克尔...
  • GF公司

  • 引用32篇文章[sw13667]
  • 论文最后简要讨论了哈斯克尔GF的实现,现有应用,以及相关。。。
  • 息肉

  • 引用31篇文章[sw09131]
  • 扩展一种函数式语言(哈斯克尔)用一个写多型函数的结构。。。
  • 塑料

  • 引用18条[sw07403]
  • 强制亚型。塑料是哈斯克尔-98个带有不同扩展名的LF类型。。。高阶非严格函数语言哈斯克尔,并使用Happy解析器生成器。。。
  • 引用18条[sw13680号]
  • 哈斯克尔对象观察调试器(HOOD)是一个用于lazy函数的小型事后调试器。。。语言哈斯克尔. 它基于观察中间数据结构的概念,而不是。。。
  • 帽子

  • 参考第23条[sw13679]
  • 编程语言的源代码级跟踪器哈斯克尔. 这顶帽子能让你接触到细节,否则就看不见了。。。
  • 警句

  • 参考22篇文章[sw09687]
  • 找到下面的类型错误哈斯克尔表达式:如果为空xs,则为tail。。。
  • 口香糖

  • 引用13篇文章[sw09417]
  • 并行实现哈斯克尔. GUM是一个可移植的、并行的哈斯克尔功能性。。。提高并行程序的性能哈斯克尔GUM程序提供了监视和可视化的工具。。。
  • 爱迪丝

  • 引用19篇文章[sw09690]
  • 热切的评价。其特征受哈斯克尔和ML,并且包括:完全依赖类型。。。
  • 小支票

  • 引用19篇文章[sw09736]
  • 小值。本文描述了两个哈斯克尔用于基于属性的测试的库。跟着领导。。。
  • 熔岩

  • 引用13篇文章[sw28643]
  • 熔岩:硬件设计哈斯克尔. 熔岩是一个工具,以协助电路设计师指定。。。实现硬件。它是一个集合哈斯克尔模块。系统设计采用函数式编程。。。