• 息肉

  • 引用31篇文章[sw09131]
  • 写多型函数。扩展语言类型检查定义多型函数,并推断。。。
  • 多劳尔

  • 引用23条[sw14205号]
  • 可证明的语言类型-安全。通过分离定义关于亚型和遗传,提供。。。基于一个谨慎的正式的定义属于类型-检查规则和语义。一个证据。。。
  • JCLEC公司

  • 引用16条[sw08869]
  • 模块:核心包含所有抽象的类型 定义以及它们的实现;实验运行程序。。。
  • XDuce公司

  • 引用54篇文章[sw12436]
  • 类型(所谓的正则表达式类型)直接对应于文档架构。XDuce还提供。。。完全正式的定义它的核心,以及类型安全。。。
  • 换乘

  • 在26篇文章中引用[sw21009]
  • 关于抽象的定理类型,但他们想写定义以及证明。。。
  • 举起

  • 在26篇文章中引用[sw21010]
  • 关于抽象的定理类型,但他们想写定义以及证明。。。
  • dSPIN

  • 引用31篇文章[sw09888号]
  • 像指针这样的结构类型变量,内存分配语句,函数定义和祈祷。这样的构造。。。
  • 忒修斯

  • 引用8篇文章[sw19037]
  • 变量和绑定形式,代数数据类型,功能定义通过模式匹配,图灵。。。
  • 田纳西州

  • 引用128篇文章[sw05140]
  • 牛顿-类型用Lanczos方法求最小值本文讨论了线性化方法的应用。。。不一定有积极意义的问题-一定的黑森矩阵。这也使得推导。。。由非线性共轭梯度定义的方向-类型方法和修正的牛顿方向。数字的。。。
  • IDP3公司

  • 参考7篇文章[sw22941]
  • 支持一阶逻辑类型,感应式定义,聚合和部分函数。它提供。。。
  • 马尔基兹

  • 引用4篇文章[sw02510]
  • 语言是非常规的定义对象的类型可以同时使用。。。语法规则定义属于类型. 就编译器而言。。。
  • 透析器

  • 引用3篇文章[sw22060号]
  • 用于识别软件差异,例如一定的 类型错误,已经失效的代码。。。
  • i-立方体

  • 引用3篇文章[sw01260]
  • 文件与特定文件一致类型 定义以及其他完全可自定义的结构约束。。。
  • 复制

  • 引用9篇文章[sw13304]
  • 库还支持定义参数化定义的操作类型...
  • 拉姆

  • 引用2篇文章[sw19091号]
  • 镜子都是由文件合成的类型 定义(DTD)。镜子里的每一个元素。。。
  • 滑雪

  • 引用2篇文章[sw25433]
  • 包括通过数据归纳类型 定义[{it J.-L.克里文。。。
  • 拉拉

  • 引用2篇文章[sw26816]
  • 类型行为的,比如变量类型 定义以及编译优化。。。
  • 要塞

  • 引用16条[sw13026]
  • 有表现力的类型具有丰富的可扩展性、可扩展的并行性、管理系统定义通过图书馆。。。