Unification

2016-07-11

Unification is a major technique in implementing and understanding programming languages. It is used for pattern matching, semantics, higher order type checking, and there is even an entire programming language that uses unification to drive computation.