• 毫升

• 引用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）呼叫。我们的结论是盖特。。。