Towards Generic Higher-Order Unification Implementations in Haskell

Workshop talk · WITS 2025 — Workshop on Implementation Techniques for Semantics · January 25, 2025 · Denver, CO, USA

Progress on generic Haskell implementations of higher-order unification — second-order matching, pattern unification, and full preunification — on top of the free-foil framework.

Pre-recording

Slides