Exploring Plait Inference 8 Unification
Exploring Plait Inference 8 Unification reveals several interesting facts.
- Introduction to
- Type
- Examples for the `unify!` function.
- This video introduces the
- CS 164 (S 2012)
In-Depth Information on Plait Inference 8 Unification
Unification _Unification_ is the algorithm for assigning types to type variables. The `unify` function will need to implement this algorithm. The `unify!` function will replace any use of `equal?` in the type checker, and it needs a `resolve` helper function. Building on our knowledge of
We define unifying substitutions in the context of logic, computer science and type systems and see both formal definitions and ...
Stay tuned for more updates related to Plait Inference 8 Unification.