• REDUCE

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

• ML

• Referenced in 522 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...

• SYM

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

• XDuce

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

• COWS

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

• Idris

• Referenced in 36 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...

• CDuce

• Referenced in 49 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...

• Refal

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

• Freshml

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

• SMS

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

• Irdis

• Referenced in 21 articles [sw09690]
• include: Full dependent types with dependent pattern matching; where clauses, with rule, simple case expressions ... pattern matching let and lambda bindings; Dependent records with projection and update; Type classes; Monad...

• SNOBOL

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

• WhyML

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

• JoCaml

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

• GrGen

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

• PiDuce

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

• Delphin

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

• Graph transformation benchmarks

• Referenced in 11 articles [sw04099]
• turn, is the execution time of pattern matching and updating phases. (Note that the time...

• Leon

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

• RepLib

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