Unification-free ("keyword") type checking

The author claims that by removing some type inference (lambdas and generic instantiation) you can reduce the amount of code required to implement type-checking.