Semantic Domain

The dataflow engine I gave in my last post can be seen as an implementation of self-adjusting computation , in the style of Acar, Blelloch...

My friend Lindsey Kuper recently remarked on Twitter that spreadsheets were commonly understood to be the most widely used dataflow program...

It struck me after the last post that it might be helpful to give an example using abstract binding trees in a more nontrivial way. The pur...