Basically, a spreadsheet, but generalized for any computation
http://www.cse.ogi.edu/~magnus/Adaptive/http://www.cse.ogi.edu/%7Emagnus/Adaptive/ Thanks, this is exactly what I was looking for!
http://www.haskell.org/frp/ Cool, this is probably what I'm attempting to reinvent. :)
http://www.cs.york.ac.uk/fp/darcs/proplang/ What it does lack is much documentation :) If I understand what I'm looking at, seems like PropLang could benefit from Magnus's technique.
http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html Here's a before and after shot of my head: Before: "head" After: " h e a d" See how it exploded? :)
Sebastian says: Off the top of my head... when ( newVals /= vals ) retry -- at least one input must've been changed you simply recompute the new value from the inputs Neat idea. I'm not sure if it's quite what I'm looking for, but I like the simplicity of it.
Thanks all for your help! Greg