• REDUCE

  • Referenced in 706 articles [sw00789]
  • polynomials and rational functions; substitutions and pattern matching in a wide variety of forms; automatic...
  • ML

  • Referenced in 478 articles [sw01218]
  • runtime type errors.[1] ML provides pattern matching for function arguments, garbage collection, imperative programming ... using formal semantics. Its types and pattern matching make it well-suited and commonly used...
  • XDuce

  • Referenced in 53 articles [sw12436]
  • flexible form of regular expression pattern matching, integrating conditional branching, tag checking, and subtree extraction...
  • COWS

  • Referenced in 50 articles [sw06955]
  • calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while...
  • CDuce

  • Referenced in 47 articles [sw12434]
  • features of CDuce are a powerful pattern matching, first class functions, overloaded functions, a very ... intersections, unions, differences), precise type inference for patterns and error localization, and a natural interpretation...
  • SYM

  • Referenced in 44 articles [sw07756]
  • with adaptive equation solving capability and pattern matching techniques, this package is able to handle...
  • Refal

  • Referenced in 42 articles [sw27634]
  • which computation is driven by pattern matching on textual and symbolic information...
  • Idris

  • Referenced in 28 articles [sw20011]
  • include: Full dependent types with dependent pattern matching; Simple foreign function interface (to C); Compiler ... clauses, with rule, simple case expressions, pattern matching let and lambda bindings; Dependent records with...
  • Freshml

  • Referenced in 44 articles [sw08992]
  • these types can be deconstructed by matching against patterns naming bound variables explicitly. This...
  • JoCaml

  • Referenced in 23 articles [sw02065]
  • uses ML’s function bindings and pattern-matching on messages to express local synchronizations...
  • WhyML

  • Referenced in 22 articles [sw09709]
  • first-order language with polymorphic types, pattern matching, and inductive predicates. Programs can make...
  • SMS

  • Referenced in 22 articles [sw01085]
  • formulas instead of a conventional pattern matching technique. SMS translates the derived symbolic formulas into...
  • GrGen

  • Referenced in 20 articles [sw00387]
  • abstraction level of graphs, with declarative pattern matching and rewriting, on a visualization of your...
  • PiDuce

  • Referenced in 20 articles [sw01418]
  • expressive type system with subtyping, a pattern matching mechanism for deconstructing XML values, and control...
  • Delphin

  • Referenced in 16 articles [sw21365]
  • theory designed to support programming using pattern matching and recursion. The main contribution of this...
  • SNOBOL

  • Referenced in 11 articles [sw27058]
  • language for text processing, pattern matching, and much more, first designed and implemented at Bell...
  • RepLib

  • Referenced in 9 articles [sw13304]
  • normal Haskell functions that pattern-matches a representation type. Furthermore, operations defined in this manner...
  • Leon

  • Referenced in 9 articles [sw09159]
  • finds bugs or proves completeness of pattern matching as well as validity of function postconditions...
  • UnQL

  • Referenced in 9 articles [sw20018]
  • powerful query language based on pattern matching and show that it can be expressed using...