结果1至20173
排序依据：

  • 有效
  • 引用19篇文章[sw22721]
  • 技术意识他们被独居的计算效果的方法，但他们提供。。。不容易用单子. 尤其是，代数效应是无缝结合的。。。鉴于单子变压器需要在独居的风格。主要思想。。。

  • 哈斯卡斯
  • 17条引用[sw00399]
  • 此外，HasCasl还为单子-基于函数式命令式程序设计。。。影响，包括单子-基于通用霍尔逻辑。。。

  • Mtac公司
  • 在14篇文章中引用[sw13075]
  • Mtac:a公司单子用于Coq中的类型化策略编程。有效支持自定义校对自动化。。。这些新的战术原语单子，并检测Coq以使其执行独居的...

  • F*
  • 引用了20篇文章[sw27563]
  • 类型系统包括依赖类型，独居的效果、求精类型和最弱的先决条件演算。一起。。。

  • 爱迪丝
  • 引用19篇文章[sw09690]
  • 带投影和更新的记录；类型类；单子理解；对列表，元组，依赖。。。

  • 熔岩
  • 引用13篇文章[sw28643]
  • 利用函数式编程语言的特性，例如单子和类型类，提供多种解释。。。

  • 精炼一元
  • 参考6篇文章[sw28551号文件]
  • 精炼独居的程序。我们提供了一个程序和数据精化框架在伊莎贝尔/霍尔。。。框架基于不确定性-单子用断言，即单子携带。。。

  • 摩泽尔
  • 引用5篇文章[sw30493]
  • Mosel：一个灵活的工具集独居的二阶逻辑。摩泽尔是一种新的工具。。。分析和验证独居的二阶逻辑。在本文中，我们集中讨论。。。

  • LLFp公司
  • 引用4篇文章【sw20866】
  • 证据、旁证和证据无关使用单子. 我们扩展了构造依赖型理论。。。逻辑框架独居的，依赖类型构造函数，用谓词索引判断，称为锁。。。

  • 单反管
  • 引用3篇文章[sw28602]
  • Monatron：一个可扩展的单子变压器库。单子在函数式编程中非常普遍。整齐。。。他们的抽象能力，组合库单子是必要的。单子变压器提供了基础。。。

  • 隐窝
  • 引用5篇文章[sw28582]
  • 高阶逻辑。语言特点独居的排序，递归，随机抽样，故障和故障处理。。。

  • 单态单体
  • 引用2篇文章[sw28583]
  • 高阶逻辑。a的概念单子无法在高阶逻辑中表达。。。系统限制。我们证明如果单子仅与值一起使用。。。效果库规范和实现单子和单子变形金刚。因此，我们可以抽象。。。在混凝土上单子在HOL定义中，因此对不同的。。。

  • 泰康
  • 引用2篇文章[sw25267]
  • Tycon:类型构造函数类和单子变形金刚。这些理论包含了第一类的形式化。。。2012年ICFP文件正式验证单子《变形金刚》作者。形式化。。。Haskell，我们为函子定义类，单子,单子-加上，等等。每一个都包括。。。使用各种单子和单子变形金刚。。。

  • 肩带
  • 引用4篇文章[sw13305]
  • 证明。第三，我们使用单子根据绘制的前后条件编制索引。。。

  • 旅行车2
  • 引用4篇文章[sw20008]
  • 使用交替奇偶树自动机（或等效独居的二阶逻辑）。我们的实验结果提供了。。。

  • 未绑定
  • 引用4篇文章[sw22613]
  • 错误消息），并与Haskell的集成单子变压器库。。。

  • Lwt
  • 引用4篇文章[sw32970]
  • 涉及线程的程序是用独居的风格。这使得写。。。