• EFF

  • 11篇参考文献[SW22621]
  • 代数效应是无缝结合的,而单子 变压器需要在一元的风格
  • 莫纳特龙

  • 3篇参考文献[SW28 602]
  • Monatron:一个可扩展的单子 变压器图书馆单子在函数编程中普遍存在。整齐。。。组合器库单子是必要的。单子 变压器为这些图书馆提供基础…
  • 泰康

  • 2篇参考文献[SW25267]
  • Tycon:Type Constructor Classes和单子 变压器. 这些理论包含了第一类的形式化。ICFP 2012纸正式验证单子 变压器作者。形式化…Haskell,我们定义函子类,单子单子+等等,每一个都包括…类层次结构单子单子 变压器
  • 单形单子

  • 2篇参考文献[ SW28 583]
  • 规范和实施单子单子 变压器. 因此,我们可以对混凝土进行抽象。
  • 甲氨蝶呤

  • 1篇参考文献[SW13661 ]
  • 函数依赖关系,具有各种实例单子 变压器灵感来自于纸函数编程与…
  • 岩浆

  • 13篇参考文献[ SW28 64 3]
  • 利用函数式编程语言的特性,如单子和类型类,提供多种解释…传统的硬件描述语言。两个快速傅立叶变换电路例子说明了这一点…
  • 85篇参考文献[SW0108]
  • CASA是一种专用的计算系统。
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 少女

  • 29篇参考文献[SW0505]
  • 自相似性的局部分析-LASS工具…
  • 毫升

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • Perl

  • 254篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。