Yuya Uezato: Matching Regular-Typed Pattern Languages: Quadratic-Time Algorithms. CPM 2026: 11:1-11:20