Type-Dependent Parameter Inference.

Gordon V. Cormack, Andrew K. Wright

Browse the full PLDI paper archive.