• 有效

  • 引用15篇文章[sw22721]
  • 代数效应是无缝结合的,而单子 变压器需要在独居的样式。。。
  • 单反管

  • 引用3篇文章[sw28602]
  • Monatron:一个可扩展的单子 变压器图书馆。单子在函数式编程中非常普遍。整齐。。。组合库单子是必要的。单子 变压器为这样的图书馆提供依据。。。
  • 未绑定

  • 引用4篇文章[sw22613]
  • 消息),并与Haskell的集成单子 变压器图书馆。。。
  • 泰康

  • 引用2篇文章[sw25267]
  • 类型构造函数和类型单子 变压器. 这些理论包含了第一类的形式化。。。2012年ICFP文件正式验证单子 变压器作者。形式化。。。Haskell,我们为函子定义类,单子,单子-加上,等等。每一个都包括。。。类层次结构单子单子 变压器...
  • 单态单体

  • 引用2篇文章[sw28583]
  • 规范和实现单子单子 变压器. 因此,我们可以抽象出具体的。。。
  • 帕塞克

  • 1条引用[sw33160]
  • 快。它被定义为单子 变压器可以任意叠加单子...
  • mtl公司

  • 1条引用[sw13661]
  • 具有各种函数依赖关系的实例单子 变压器,其灵感来自于。。。
  • 熔岩

  • 引用13篇文章[sw28643]
  • 利用函数式编程语言的特性,例如单子和类型类,提供多种解释。。。传统硬件描述语言。双快速傅里叶变换转换电路示例说明了这一点。。。
  • ACL2

  • 引用了275篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 引用89篇文章[sw00108]
  • CASA是一个专门用于计算。。。
  • 单数

  • 在1330篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。