TY  - RPRT
TI  - Extended Abstract: From Pattern Unification Towards Pattern Matching Unification
AU  - David Richter
AU  - Timon Böhler
PY  - 2026
UR  - https://arxiv.org/abs/2607.18455
ID  - 2607.18455
ER  -