New posts in unification

How to infer the type of an expression manually

haskell types type-inference unification

Higher-order unification

algorithm artificial-intelligence logic unification