Stand for definite, but unknown, types. Prof. Aiken CS 294 Lecture 3. 6. Function Types ... Solvable in near-linear time using a union-find based algorithm. ...
Arbiters. Given a set of rules that apply to an expression, which one is best? ... A simplification stage is a set of rules coupled with an arbiter. ...