Yuchen Zhang, Yanhong A. Liu. Automating Derivation of Incremental Programs. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 350, ACM, Baltimore, Maryland, United States, 1998. [doi]
Abstract is missing.