Towards Generic Higher-Order Unification Implementations in Haskell

WITS 2025 — Workshop on Implementation Techniques for Semantics, co-located with POPL 2025, Denver, CO, USA · January 25, 2025

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

A workshop progress report on building higher-order unification procedures on top of free-foil’s second-order abstract syntax.

Slides

Download PDF

Pre-recording

Code: fedor-ivn/free-foil-hou

Kudasov, N., Starikov, A., Ivanov, F., Afliatonov, D. (2025). "Towards Generic Higher-Order Unification Implementations in Haskell." WITS 2025 — Workshop on Implementation Techniques for Semantics, co-located with POPL 2025, Denver, CO.