• 乐高

  • 106篇参考文献[SW09685 ]
  • 它实现了各种相关类型系统-爱丁堡逻辑框架(LF),微积分…建筑(GCC)与统一理论属于依赖的 类型(UTT)。乐高是一个强大的工具…其底层的高阶功率类型 理论和支持指定新的电感…
  • 阿加达

  • 171篇参考文献[SW0969]
  • AGDA是依附地 类型化的函数式编程语言:它有归纳的家族,它们是相似的…用值索引而不是仅索引类型. 它还具有参数化模块、MixFixor运算符、Unicode…校样。AGDA是基于直觉主义的类型 理论建立了建设性数学的基础体系。与其他证明助理为基础依赖的 类型如COQ、警句和NUPRL。
  • 精益

  • 22篇参考文献[SW15148]
  • 基于小型可信内核依赖的 类型 理论. 它的目的是弥合……之间的鸿沟。
  • 米尼亚达

  • 8篇参考文献[SW21183]
  • 基于编程语言的助手和程序设计语言依赖的 类型 理论我们已经实现了一个核心语言…要充分整合规模类型依赖关系和模式匹配,这是…
  • 奥帕

  • 8篇参考文献[ SW09832 ]
  • 通过施工获得了正确的结果。与此同时,依赖的 类型 理论足够丰富来表达各种…Agda),在依附地 类型化的程序设计语言AGDA。一个程序…
  • LLFP

  • 4篇参考文献[SW20866 ]
  • 使用单子。我们扩大了建设性。依赖的 类型 理论逻辑框架中的…
  • PAL+

  • 3篇参考文献[SW21366 ]
  • 指定语言类型 理论(例如,依赖的 类型 理论,因为它有优势…
  • 斯库纳

  • 3篇参考文献[SW21328 ]
  • 非类型集理论. 使用依赖的 类型 理论对于SunAK,我们可以定义对象级别…
  • 伊沃

  • 3篇参考文献[SW0633]
  • Ivor,一个验证引擎。依赖的 类型 理论有几个实际应用领域…
  • 章鱼

  • 20篇参考文献[SW0825]
  • 类型. 电子在密度泛函中的量子力学描述理论(DFT),在其时间-依赖的
  • 德尔芬

  • 18篇参考文献[SW21365 ]
  • 其他级别是T+!〔15〕,A类型 理论设计支持使用模式匹配编程…高阶程序,依附地-类型化的数据结构,如证明和打字导数…
  • CHC 3

  • 11篇参考文献[SW0988]
  • 取决于理论地面连贯。此外,许多规格的兴趣是类型化的有…
  • YOT

  • 35篇参考文献[SW12334 ]
  • 支持功能强大的语言依赖的 类型但是,语言是有限的纯,总…霍尔以前的工作类型 理论(HTT)。我们展示了这些公理是如何结合的…
  • 方程

  • 5篇参考文献[SW28 614]
  • 允许编写结构化递归依附地-类型化的函数作为一组方程,自动查找…它们在核心中的实现类型 理论并生成证明,以减轻他们的推理…与使用有关的错综复杂依赖的 类型和复杂递归方案…
  • 蒂特里尔

  • 8篇参考文献[SW08501]
  • 博弈,(BI)模拟,拓扑,定性模糊考虑,理论提取、社会选择、区间决策支持…变换。它的一般结构依赖的 类型让它成为一个研究领域…
  • 普洛维尤

  • 27篇参考文献[ SW09438 ]
  • 策略的数量。哪种策略是合适的取决于非常依赖于已知的相互依赖关系…否定,意义的概率论理论. (1)提出了概率关系数据。实验表明重写类型对其他等价形式的查询常常…
  • 辅酶QMT

  • 5篇参考文献[SW19139]
  • 自定义一阶方程的蕴涵理论. 这种机制充分丰富了系统。可打字),简化使用依赖的 类型并在开发过程中提供更多的自动化。
  • 锂离子电池

  • 7篇参考文献[SW068 63]
  • 密度泛函的交换相关泛函理论. 其目的是提供一种便携式的、良好的…类型泛函:LDA,GGA,杂种,MGGA(实验)和LCA(不工作)。这些泛函依赖
  • 量子规范

  • 4篇参考文献[SW14419]
  • 基于分位数的谱分析:渐近理论和计算。在本文中,另一种方法…提出了时间序列。系列措施依赖基于Copula或联合分布…通过两个定义的统计处理类型估计量。结果一致性…
  • 小牛

  • 1篇参考文献[SW25000 ]
  • 依靠在应用领域。自动机学习算法适应日益复杂的研究类型因为没有抽象理论提供指导方针。这使得它很难…