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