• 减少

  • 736篇参考文献[SW0789]
  • 多项式与有理函数模式 匹配在各种各样的形式中;自动的…
  • 毫升

  • 498篇参考文献[SW01218]
  • 运行时类型错误。[ 1 ] ML提供模式 匹配对于函数参数、垃圾回收、命令式编程…使用形式语义学。它的类型和模式 匹配使它非常适合和常用的…
  • 赛姆

  • 54篇参考文献[SW0776]
  • 具有自适应方程求解能力和模式 匹配技术,这个包是能够处理…
  • 苏杜

  • 53篇参考文献[SW12436]
  • 正则表达式的灵活形式模式 匹配集成条件分支、标签检查和子树提取…
  • 奶牛

  • 51篇参考文献[ SW06955 ]
  • 计算器,例如异步通信,多元同步,模式 匹配,保护,界定接收和杀戮活动,而…
  • 引诱者

  • 48篇参考文献[SW12434 ]
  • CDuce的特点是强大的。模式 匹配第一类函数,重载函数,非常…交叉点,工会,差异),精确类型推断模式误差定位和自然解释…
  • 伊德里斯

  • 31篇参考文献[ SW2001 11]
  • 包括:依赖型完全依赖型模式 匹配简单的外部函数接口(C);编译器…子句,带规则,简单的实例表达式,模式 匹配让和lambda绑定;依赖记录与…
  • 新鲜的

  • 48篇参考文献[SW08992]
  • 这些类型可以被解构。匹配反对模式明确地命名绑定变量。
  • 斯诺博

  • 28篇参考文献[SW27 058]
  • 用于文本处理的语言,模式 匹配和更多,首先设计和实现在贝尔…
  • 短信

  • 28篇参考文献[ SW01085 ]
  • 公式代替传统模式 匹配技法SMS将导出的符号公式翻译成…
  • 乔卡姆

  • 25篇参考文献[SW02065 ]
  • 使用ML的函数绑定和模式-匹配关于表示本地同步的消息…
  • 惠米尔

  • 24篇参考文献[SW09709]
  • 具有多态类型的一阶语言,模式 匹配和归纳谓词。程序可以使…
  • 格根

  • 20篇参考文献[SW038 7]
  • 图的抽象级,带声明性模式 匹配和重写,在你的可视化…
  • 引诱

  • 20篇参考文献[SW01418]
  • 具有子类型的表达型系统模式 匹配解构XML值的机制,以及控制…
  • 德尔芬

  • 18篇参考文献[SW21365 ]
  • 支持程序设计的理论模式 匹配和递归。这主要贡献…
  • 里昂

  • 10篇参考文献[SW09159]
  • 发现bug或证明完整性模式 匹配以及函数后条件的有效性…
  • 复制品

  • 9篇参考文献[SW13304]
  • 正常Haskell函数模式-比赛表示类型。此外,以这种方式定义的操作…
  • UNQL

  • 9篇参考文献[ SW200 18]
  • 基于功能强大的查询语言模式 匹配并表明它可以用…