Dependent type inference with interpolants.

Hiroshi Unno, Naoki Kobayashi

Browse the full PPDP paper archive.