• 伊兰

• 参考文献108篇[sw02179]
• 从函数式编程的概念摘要 数据 类型并根据功能评价原理对其进行了评价。。。

• 收入

• 引用68篇文章[sw28907]
• 本文摘自摘要 数据 类型规格。。。

• 多重口齿

• 参考33篇文章[sw09420]
• 并行结构和摘要 数据 类型：推荐的Multilisp编程样式。。。

• 帕斯卡SC

• 引用了30篇文章[sw30417]
• 一般的类型，运算符概念摘要 数据 类型，过程、函数和运算符重载。。。

• mCRL公司

• 引用31篇文章[sw29626]
• 数据元素的形式摘要 数据 类型. μCRL工具集（见http://www.cwi.nl。。。

• 克莱尔

• 在34篇文章中引用[sw02583]
• 混凝土和摘要套(数据 类型和程序片段），在一个完全。。。

• 更新

• 17条引用[sw04387]
• 已经被提议解释摘要 数据 类型，面向对象，层次结构。。。

• 模糊的

• 参考7篇文章[sw02575]
• 晦涩难懂，是摘要 数据 类型. 晦涩是摘要...

• 2LEV-D2P4型

• 引用8篇文章[sw00009]
• Fortran 95，利用诸如摘要 数据 类型创建、函数重载和动态内存。。。

• 拉斯特

• 参考7篇文章[sw17158]
• 房子的后端摘要 数据 类型宏基因组学RAST是稳定的、可扩展的、自由的。。。

• 断言

• 参考6篇文章[sw28906]
• 互动的自然演绎系统摘要 数据 类型. 因为经常需要很长的证据。。。

• 阿斯兰-RT

• 参考6篇文章[sw30491]
• 接口过程作为摘要 数据 类型代表共享信息。根据RT-ASLAN规范，性能。。。

• 拉克维特

• 引用4篇文章[sw08939]
• Lackwit：一个基于类型推断。通过静态地确定结构的位置。。。共同的表象，我们可以识别摘要 数据 类型，检测抽象违规，找到未使用的变量，函数。。。领域数据结构，检测操作中的简单错误摘要数据类型和定位站点。。。价值观。我们计算表示共享类型推理，使用类型对表示进行编码。方法。。。

• 肋骨

• 引用5篇文章[sw09877]
• 可执行：一种功能性的子语言摘要 数据 类型用于指定内部、顺序。。。

• DTRE公司

• 引用3篇文章[sw22672]
• 使用上的操作细化规范摘要 数据 类型. 这个系统是半自动的。。。确定其余的实现。数据 类型被指定为参数化理论在许多。。。这些理论的中心是归纳法。摘要规范（理论）是逐步完善的。。。

• 泄漏

• 引用3篇文章[sw09494]
• 用理论精确地指定。摘要 数据 类型，多重继承，复杂对象，重载和动态绑定。。。

• 拉达

• 引用4篇文章【sw20732】
• 代数推理工具数据 类型具有摘要. 我们现在展示的是RADA，一个便携的，可扩展的。。。关于包含代数的公式的推理工具数据 类型使用变形（折叠）函数。。。

• BGL公司

• 引用了60篇文章[sw17557]
• 解决许多问题类型计算机科学中的问题。因此，这些摘要还必须代表。。。鼓励重用图形算法和数据结构。Boost图形库的一部分。。。

• 电车

• 引用2篇文章[sw03369]
• 建模和指定方法摘要 数据 类型自从他们。。。快速成型工具。有轨电车是摘要条件重写机器排序顺序。。。

• 洛伊

• 引用2篇文章[sw29143]
• 行为表达式，LOTOS的翻译器摘要 数据 类型对一组LISP的操作。。。