• 减少

  • 引用743篇文章[sw00789]
  • 多项式与有理函数;替代品和图案 匹配形式多样;自动。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • 运行时类型错误。[1] ML提供图案 匹配对于函数参数、垃圾回收、命令式编程。。。使用形式语义。其类型和图案 匹配并且使它很适合。。。
  • SYM公司

  • 引用63篇文章[sw07756]
  • 具有自适应解方程能力图案 匹配技术,这个包能够处理。。。
  • XDuce公司

  • 引用54篇文章[sw12436]
  • 正则表达式的灵活形式图案 匹配,集成了条件分支、标记检查和子树提取。。。
  • 奶牛

  • 引用51篇文章[sw06955]
  • 计算,例如异步通信,多段同步,图案 匹配,保护,限定接收和杀死活动,同时。。。
  • 涂片

  • 引用49篇文章[sw12434]
  • CDuce的功能是强大的图案 匹配,一类函数,重载函数,非常。。。交集、并集、差异),精确的类型推断模式错误定位和自然解释。。。
  • 伊德里斯

  • 引用了35篇文章[sw20011]
  • include:完全依赖类型图案 匹配; 简单的外部函数接口(到C);编译器。。。子句,有规则,简单的大小写表达式,图案 匹配let和lambda绑定;依赖记录与。。。
  • 重构

  • 引用了43篇文章[sw27634]
  • 计算的驱动力是什么图案 匹配关于文本和符号信息。。。
  • 新鲜毫升

  • 引用了50篇文章[sw08992]
  • 这些类型可以通过匹配反对模式显式命名绑定变量。这个。。。
  • 斯诺波

  • 引用了29篇文章[sw27058]
  • 文本处理语言,图案 匹配,以及更多,首先在贝尔设计和实现。。。
  • 短讯服务

  • 引用了29篇文章[sw01085]
  • 用公式代替传统的图案 匹配技术。SMS将导出的符号公式转换为。。。
  • 爱迪丝

  • 引用了20篇文章[sw09690]
  • include:完全依赖类型图案 匹配; where子句,规则,简单的大小写表达式。。。图案 匹配let和lambda绑定;具有投影和更新功能的从属记录;类型类;单子。。。
  • 乔坎姆

  • 在26篇文章中引用[sw02065]
  • 使用ML的函数绑定和图案-匹配用于表示本地同步的消息。。。
  • 为什么

  • 引用25篇文章[sw09709]
  • 具有多态类型的一阶语言,图案 匹配,和归纳谓词。程序可以使。。。
  • 格兰根

  • 引用21篇文章[sw00387]
  • 图形的抽象级别,具有声明性图案 匹配重写,在一个可视化的。。。
  • 皮杜

  • 引用21篇文章[SW018号文件]
  • 带子类型的表达型系统图案 匹配解构XML值和控制的机制。。。
  • 德尔芬

  • 引用18条[sw21365]
  • 支持编程的理论图案 匹配和递归。主要贡献是。。。
  • 里昂

  • 参考11篇文章[sw09159]
  • 发现错误或证明图案 匹配以及函数后置条件的有效性。。。
  • 复制

  • 在10篇文章中引用[sw13304]
  • 正常的Haskell函数图案-比赛表示类型。此外,以这种方式定义的操作。。。