76 citations · 373 across the 18 of their papers we have counts for
1 paper · 2 filters
Francesco Mazzoli, Andreas Abel
In this paper we describe how to leverage higher-order unification to type check a dependently typed language with meta-variables. The literature usually presents the unification a…