• 毫升

  • 引用522篇文章[sw01218]
  • 以使用多态的Hindley–Milner类型的系统,自动分配。。。
  • OCaml公司

  • 引用273篇文章[sw06363号]
  • 模块系统,全部通过声音连接,多态的具有类型推理的类型系统。OCaml。。。
  • 米兰达

  • 在153篇文章中引用[sw04986]
  • 米兰达:一种非严格的功能语言多态的类型。在过去的几年里。。。米兰达在这个基础上增加了多态的类型系统和(ii)图书馆结构。。。
  • 低成本

  • 引用158篇文章[sw08360]
  • 基于它的编程语言及其创新多态的类型系统同时使用。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 类系统论元合成与宇宙多态性通过带上。。。
  • 玩具

  • 在56篇文章中引用[sw09812]
  • 玩具支持的CRWL包括:多态的类型;总部特征;平等与疾病限制。。。
  • 信号

  • 引用52篇文章[sw02915]
  • 第一次设计和实现多态的类型系统和模块系统的。。。
  • 沙丘有限元法

  • 在39篇文章中引用[sw03084]
  • 基于模板的通用编程技术,包括静态多态性,引擎概念和模板元编程。。。
  • 多劳尔

  • 引用23条[sw14205]
  • Polyoil:一种安全型多态的面向对象语言。polyoil是一种新型的静态类型多态的... 表示的类型参数的界限多态性. Polyoil的设计基于。。。
  • 测谎仪

  • 17条引用[sw23932]
  • 测谎仪:自动生成签名多态的蠕虫。人们普遍认为基于内容签名的。。。检测系统(IDS)很容易被多态的蠕虫,它们在每一个。。。成功生成匹配的签名的系统多态的蠕虫。测谎仪产生的特征包括。。。代码。我们对多态的签名生成问题;建议签名类别。。。
  • 息肉

  • 参考33篇文章[sw09131]
  • 合格类型与高阶理论多态性. 程序的语义。。。
  • 所有类型

  • 引用了20篇文章[sw02307]
  • 被一百多人操纵多态的功能。代码的可重用性是通过泛型实现的。。。通过定义新类型和多态的功能。一种由七种基本语言结构组成的语言。。。
  • 为什么

  • 引用28篇文章[sw09709]
  • WhyML是一阶语言多态的类型、模式匹配和归纳谓词。程序。。。
  • JFlow公司

  • 在26篇文章中引用【sw20595】
  • 以前的模型:分散标签模型,标签多态性,运行时标签检查和自动标记。。。
  • 直到

  • 引用13篇文章[sw22185]
  • 这是基于四种技术:内涵多态性,无标签垃圾回收,常规函数语言。。。优化和循环优化。我们用内涵多态性和无标签垃圾收集提供。。。即使SML是多态的语言。我们使用传统的函数式语言优化。。。降低内涵成本多态性,以及循环优化以生成良好的递归代码。。。
  • 引用15篇文章[sw17146]
  • 存在大量多态性. 我们的方法基于快速读取。。。把读数精确到这个高度多态的基因组,同时证实了C.savignyi的高杂合度。。。
  • 有效

  • 引用21篇文章[sw22721]
  • 带参数的静态类型语言多态性和类型推断。类型与那些。。。
  • 科卡

  • 参考11篇文章[sw19068]
  • Koka:用Row编程多态的效果类型。我们提出一个规划模型,其中影响。。。自动推断,我们描述一个多态的基于Hindley-Milner风格的类型推理系统。。。新颖的特点是我们支持多态的通过行的效果-多态性使用重复标签。而且。。。还可以安全地将state和let结合起来-多态性不需要命令类型变量。。。
  • 哈斯卡斯

  • 17条引用[sw00399]
  • 高阶函数,高阶子类型,浅多态性,以及扩展的类型类机制。而且。。。
  • 盖特

  • 17条引用[sw12019]
  • 覆盖率计算器和单核苷酸等工具多态性(SNP)呼叫。我们的结论是盖特。。。