Deriving Higher-Order Unification in Haskell

Workshop talk · WITS 2023 — Workshop on Implementation Techniques for Semantics, co-located with IFL 2023 · August 28, 2023 · Braga, Portugal

Pre-recorded workshop talk on deriving higher-order unification procedures in Haskell from a second-order signature — precursor to the free-foil framework and the WITS 2025 progress reports on the same line of work.

Video Recording