The "Lambda" paper Steele and Sussman never wrote! http://lambda-the-ultimate.org/papers Including: "Lambda the Ultimate Imperative" "Lambda the Ultimate Declarative"
Doesn't Sussmann's propagator model work kind of count as "Lambda the Ultimate Spreadsheet"?
Came here to say this: my first thought was that this can provide a nice interface for implementing Radul & Sussman's propagator model