Practical type inference based on success typings.

Tobias Lindahl, Konstantinos Sagonas

Browse the full PPDP paper archive.