• 奥卡姆

  • 263篇参考文献[SW06363]
  • 声音,多态性类型系统特色类型 推论. OCAML系统是一种工业强度的实现。
  • 朱丽亚

  • 174篇参考文献[SW13986]
  • 表达性编程模型与成功类型 推论,导致良好的性能为广泛的范围…
  • 吐口香糖

  • 115篇参考文献[ SW044 29 ]
  • 空间抽样、模型诊断和形式化推论. 数据类型包括点模式、线段模式…自动模拟。还提供正式的设施推论(如卡方检验)和模型…
  • 斯卡拉

  • 70篇参考文献[SW07180]
  • 静态力打字自动类型 推论. 此外,这本书还展示了…
  • 引诱者

  • 48篇参考文献[SW12434 ]
  • 精确的对、记录、交叉点、联合、差异)类型 推论对于模式和错误定位…
  • 新鲜的

  • 47篇参考文献[SW08992]
  • 使用复杂的静态类型系统推断关于名字“新鲜度”的信息…也许令人惊讶的是,一个标准类型无新鲜度系统推论再加上常规治疗…
  • 克劳德

  • 24篇参考文献[SW10057 ]
  • 提出了一种结合的方案类型 推论运行时检查以使现有的…然后,我们提出了一个令人惊讶的简单。类型 推论能够实现的算法推断推断大多数或所有指针都是静态可验证的。类型安全…
  • 丹菲

  • 55篇参考文献[SW24183]
  • 本文介绍了一种新的类型模糊的推论系统,表示为动态进化神经…通过模糊计算DEFFIS推论系统基于M最活跃的模糊规则…一阶Takagi Sugeno的产生类型模糊规则集的DNFIS在线…
  • 德鲁图

  • 28篇参考文献[SW01265 ]
  • 最后,静态调试器提供了类型 推论解释特殊规范的系统推论就…而言
  • 电除尘器

  • 150篇参考文献[SW06302]
  • 一阶逻辑的定理证明器类型理论后者是一种削减…ETPS发出应用规则的命令推论以特定的方式,计算机处理…公式。规则推论ETPS中的预定义问题大多采用…安德鲁斯,数学逻辑导论类型理论:通过证据证明真理,第二版…
  • 息肉

  • 29篇参考文献[SW09131]
  • 检查多类型函数的定义,以及推断这个类型在所有其他表达式中使用…
  • EFF

  • 11篇参考文献[SW22621]
  • 类型化的具有参数多态性的语言类型 推论. 这个类型类似于那些…
  • 霍尔零

  • 11篇参考文献[SW17594]
  • Hindley Milner的解释类型 推论适用于可变变量超载…术语的注释最少。类型为了清晰的印刷…
  • 菲利普

  • 91篇参考文献[SW07694]
  • 免费程序包推断系统发育它被分发为源代码,文档文件…不同数量类型可执行文件的。这些网页,由Joe Felsenstein的部门…
  • 盎司

  • 112篇参考文献[SW06999 ]
  • 结合约束的高级程序设计语言推论具有并发性。盎司的典型应用领域包括…复杂的图形用户界面。盎司是动态的类型化的并具有一流的程序、类、对象…用于编程约束的强大图元推论高水平的发动机…
  • 流动凸轮

  • 6篇参考文献[ SW08923 ]
  • 传达。因为它已经满了类型 推论系统验证,而不需要源代码注释…编程语言类型系统的特点…同时分型、ML多态和全类型 推论. Flow Caml处理很大一部分…
  • IMPS

  • 48篇参考文献[SW09143]
  • 简约类型具有部分函数和子类型的理论。数学规范和推论进行相对…
  • 聚胺

  • 4篇参考文献[ SW08950]
  • PAMAML也配备了一个类型 推论保守Hindley Milner扩展算法类型推论. 为了支持一流的多态点切割指示器,开发方面的一个关键特征…传统Hindley Milner算法的融合类型 推论具有局部简单形式的算法…
  • 哈吉

  • 5篇参考文献[SW1293]
  • 用途:计算机代数程序。内置的类型 推论这允许处理非标准的…