[Haskell-cafe] Associative Commutative Unification
Edsko de Vries
devriese at cs.tcd.ie
Tue Jul 8 08:31:56 EDT 2008
On Tue, Jul 08, 2008 at 08:24:45AM -0400, John D. Ramsdell wrote:
> The Haskell typechecker contains a nice example of a unifier for
> freely generated terms. My focus is on equational unification, but
> thanks anyway.
Are you aware of "Term Rewriting and all That"? It describes how to do
associative commutative unification; whether it satisfies your
'obviously correct' criterion I don't know.
More information about the Haskell-Cafe