Yanhong A. Liu, Scott D. Stoller, and Tim Teitelbaum. Discovering
auxiliary information for incremental computation. In Proceedings
of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, pages 157-170, St. Petersburg Beach,
Florida, January 1996.
© ACM.
Dai-POPL96.ps