• 小支票

  • 引用19篇文章[sw09736]
  • 小值。本文描述了两个哈斯克尔 图书馆用于基于属性的测试。跟着领导。。。
  • 阿格达

  • 引用了199篇文章[sw09689]
  • 归纳族,类似于哈斯克尔是GADTs,但它们可以被索引。。。自述)。请注意,Agda图书馆不遵循包版本控制策略,因为。。。
  • 弗兰特克

  • 参考第6条[sw13065]
  • 语言哈斯克尔.FranTk是一个新的高度图书馆用于编程图形用户界面。。。GUI)输入哈斯克尔它是基于功能反应动画,并使用了。。。在以前的功能图形用户界面中是可能的图书馆。我们通过一系列的例子来证明。。。作为一个哈斯克尔 图书馆在拥抱下奔跑。。。
  • 未绑定

  • 引用4篇文章[sw22613]
  • 作为GHC的绑定规范语言哈斯克尔 图书馆实现嵌入式领域特定语言(EDSL…错误消息),并与哈斯克尔的单子变压器图书馆...
  • 艾弗

  • 引用3篇文章[sw06343]
  • 程序设计语言。艾弗是个哈斯克尔 图书馆设计允许轻松扩展和嵌入。。。哈斯克尔应用程序。在本文中,我对图书馆然后展示。。。
  • 摇动

  • 引用3篇文章[sw09394]
  • 已经在哈斯克尔 图书馆摇一摇,用摇一摇写。。。
  • HLIO公司

  • 引用3篇文章[sw22611]
  • 动态执行监视器。狮子座哈斯克尔 图书馆,源于操作系统研究,实现了一个纯粹的。。。HLIO(Hybrid LIO),作为嵌入哈斯克尔用一种新的技术来推迟。。。
  • HNT公司

  • 引用2篇文章[sw22614]
  • 工具箱(HNT)由哈斯克尔 图书馆提供:阿尔法等价,匹配和重写算法。。。
  • 血液

  • 引用2篇文章[sw29433]
  • 实施于哈斯克尔由以下部分组成:图书馆:通用/可重用图书馆... 也可以用这个来创建和操纵图书馆在Haskell数据库下。惠普的API。。。使用umino的可移植XML文档哈斯克尔 图书馆我们重用了来自。。。
  • wxHaskell公司

  • 引用2篇文章[sw13070]
  • 可移植和本机GUI图书馆对于哈斯克尔项目的目标是提供。。。产业实力GUI图书馆对于哈斯克尔,但是没有开发(和维护…wxWidgets)的负担,一个全面的C++图书馆它在所有主要的GUI平台上都是可移植的;包括。。。
  • 术语重写

  • 1条引用[sw25893]
  • 哈斯克尔 图书馆为了重写术语。我们提出一个哈斯克尔 图书馆一级学期重写。。。重写术语的工具哈斯克尔...
  • 复制

  • 在10篇文章中引用[sw13304]
  • 回复:A图书馆对于可派生类型类。一些类型类实例可以自动派生。。。类型结构。因此哈斯克尔语言包括自动的“派生”机制。。。本文,我们提出了RepLib,一个GHC图书馆这为任意。。。一个普通的关联实例声明哈斯克尔模式匹配表示类型的函数。此外。。。
  • 波乔尔

  • 在10篇文章中引用[sw25851]
  • 模板图书馆,并且DSL编译器是用哈斯克尔.目前,波乔尔软件包。。。
  • 元图

  • 1条引用[sw22739]
  • 元图:哈斯克尔 图书馆对于元图数据结构。。。
  • 胡格尔

  • 1条引用[sw34574]
  • 它允许您搜索哈斯克尔 图书馆在堆栈上按任一函数名。。。
  • 阿尔恩

  • 1条引用[sw09495]
  • AERN(近似精确实数)。A哈斯克尔 图书馆对于严格精确的实数。。。混合动力系统仿真。AERN写在哈斯克尔因为它注重可靠性,灵活性。。。
  • 流融合

  • 1条引用[sw28589]
  • 哈斯克尔程序;它由一个哈斯克尔 图书馆以及一些编译器重写规则。。。
  • 前额

  • 1条引用[sw20016]
  • 已将此接口作为哈斯克尔 图书馆叫弗普诺。。。