Discovering Auxiliary Information for Incremental Computation.

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

Browse the full POPL paper archive.