Generic Second-Order Matching, Higher-Order Preunification and Pattern Unification — Implementations in Haskell

UNIF 2025 — 39th International Workshop on Unification, Birmingham, UK · July 15, 2025

Joint work with Artem Starikov, Fedor Ivanov, and Damir Afliatonov.

Generic Haskell implementations of second-order matching, higher-order preunification, and pattern unification on top of the free-foil framework for second-order abstract syntax.

HAL record

Download PDF

Code: fedor-ivn/free-foil-hou

Kudasov, N., Starikov, A., Ivanov, F., Afliatonov, D. (2025). "Generic Second-Order Matching, Higher-Order Preunification and Pattern Unification — Implementations in Haskell." UNIF 2025 — Informal Proceedings of the 39th International Workshop on Unification, Birmingham, UK.