Haskell CS 421 LogoCS 421 — Programming Languages

Unification

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.

Videos

Handouts