Deriving Higher-Order Unification in Haskell
A pre-recorded workshop talk on deriving higher-order unification procedures generically in Haskell from a second-order signature — a step in the line of work that later became the free-foil framework and the WITS 2025 progress reports.
WITS 2023 papers are distributed only as a single bundled archive: WITS23.zip (see also the workshop schedule).
Kudasov, N. (2023). "Deriving Higher-Order Unification in Haskell." WITS 2023 — Workshop on Implementation Techniques for Semantics, co-located with IFL 2023, Braga, Portugal.