Geometry of synthesis III: resource management through type inference.

Dan R. Ghica, Alex I. Smith

Browse the full POPL paper archive.