Principal type inference for GADTs.

Sheng Chen, Martin Erwig

Browse the full POPL paper archive.