Results 1 to 20 of 703
Sort by:

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

  • ML

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

  • 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...

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

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

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

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

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

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

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

  • 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...

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

  • MiniAgda
  • Referenced in 9 articles [sw21183]
  • integrate sized types with dependencies and pattern matching, which was made possible by concepts such...