[dalailambda]

I imagine with a little introspection, a notebook can figure out dependencies between cells and cascade as needed.

[yomritoyj]

I guess the challenge is to do it efficiently in the presence of pointers, implicit or explicit.

[brians]

There's great work on this called differential dataflow. You have to trace at a finer grain than cells, but can then avoid lots of recalculation.