Type checking through unification

Francesco Mazzoli, Andreas Abel. Type checking through unification. 2016.

Abstract

Abstract is missing.