. . . . "Incremental computation via partial evaluation"@en . . . "Yale University. Department of Computer Science." . .