• 哈斯卡尔

  • 17篇参考文献[SW0399 ]
  • 此外,HASCASL还提供了专门的规范支持。单子基于功能的通用命令编程…效果,包括单子基于通用霍尔逻辑…
  • 甲基丙烯酸甲酯

  • 13篇参考文献[SW13075 ]
  • Mtac:A单子针对COQ中的类型化策略编程。有效支持定制证明自动化…一个新的战术原语单子并辅以COQ使其执行一元的
  • EFF

  • 11篇参考文献[SW22621]
  • 技术意义上它们被一元的接近计算效果,但他们提供…不容易实现的编程单子. 特别地,代数效应是无缝结合的…反之单子变压器需要在一元的风格主要思想…
  • F*

  • 18篇参考文献[SW27 563]
  • 类型系统包括依赖类型,一元的效果、细化类型和最弱预条件演算。一起…
  • 岩浆

  • 13篇参考文献[ SW28 64 3]
  • 利用函数式编程语言的特性,如单子和类型类,提供多种解释…
  • 精化一元

  • 6篇参考文献[ SW28 551 ]
  • 求精一元的程序我们提供了一个框架的程序和数据细化的伊莎贝尔/霍尔…框架是基于非决定论的。单子用断言,即单子携带…
  • 莫塞尔

  • 5篇参考文献[SW3093]
  • Mosel:一个灵活的工具集一元的二阶逻辑。摩泽尔是一种新工具…中的分析与验证一元的二阶逻辑。在本文中,我们集中…
  • 伊尔迪斯

  • 6篇参考文献[SW09690]
  • 投影和更新记录;类型类;单子理解;列表、元组、依存的句法便利性…
  • LLFP

  • 4篇参考文献[SW20866 ]
  • 证据、附带条件和证据无关性单子. 我们扩展了构造依赖型理论…逻辑框架一元的依赖于判断的谓词索引的依赖类型构造函数,称为锁…
  • 莫纳特龙

  • 3篇参考文献[SW28 602]
  • Monatron:一个可扩展的单子变压器库。单子在函数编程中普遍存在。整齐。。。它们的抽象能力,组合库单子是必要的。单子变压器提供了基础…
  • 单形单子

  • 2篇参考文献[ SW28 583]
  • 高阶逻辑。A的概念单子不能在高阶逻辑中表达…系统限制。我们证明了如果单子仅与…的值一起使用…效果规范库及其实现单子单子变压器因此,我们可以抽象…在混凝土上单子在HOL定义中,因此对不同的定义使用相同的定义。
  • 泰康

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

  • 4篇参考文献[SW13305]
  • 校样。第三,我们用A表示计算单子索引由前和后条件绘制…
  • QPCF

  • 4篇参考文献[SW20267]
  • 管理电路和隐含的形式单子通过破坏性的方式管理量子态…
  • 制成品

  • 2篇参考文献[SW12475 ]
  • 扭曲的全球部分,还有贝林森单子所有的曲折。虽然泰特决议…有效计算,从Beilinson开始单子或者从多层次的模块…
  • 认证单子

  • 1篇参考文献[SW3265]
  • 认证单子. 这个条目提供了几个单子旨在发展独立认证机构…具体来说,有三种错误的滋味。单子(和)类型,对于…一元的函数是全部的;前者的实例,即所谓的检查。单子屈服…显式底层元素和解析器单子建在上面。所有这些单子