4 citations · 4 across the 1 of their papers we have counts for
3 papers
cs.PL2017★ 4 cited
MatchPy: A Pattern Matching Library
Manuel Krebber, Henrik Barthels, Paolo Bientinesi
Pattern matching is a powerful tool for symbolic computations, based on the well-defined theory of term rewriting systems. Application domains include algebraic expressions, abstra…
cs.PL2017
Efficient Pattern Matching in Python
Manuel Krebber, Henrik Barthels, Paolo Bientinesi
Pattern matching is a powerful tool for symbolic computations. Applications include term rewriting systems, as well as the manipulation of symbolic expressions, abstract syntax tre…
cs.SC2017
Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables
Manuel Krebber
Pattern matching is a powerful tool which is part of many functional programming languages as well as computer algebra systems such as Mathematica. Among the existing systems, Math…