Date:: April 1st, 2025
Synopsis
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.