• 有效

  • 引用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]
  • 涉及线程的程序是用独居的风格。这使得写。。。