Thanks, great resource. I've had Incremental explained to me by a Jane Streeter and I'm sure it influenced my thinking, but it's always good to have public explanations.
For example there is a paper by Martin Odersky himself on incremental computations on lists (which should be very familiar to you due to your work on Xi's ropes): https://link.springer.com/chapter/10.1007/978-3-642-39038-8_...