结果1～20一百六十五
分类方式

  • 哈斯卡尔
  • 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]
  • 管理电路和隐含的形式单子通过破坏性的方式管理量子态…

  • 轻量化
  • 4篇参考文献[ SW329 70]
  • 涉及线程的程序是用一元的风格这使得书写…成为可能。

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