On 9/04/2013 6:31 PM, alex wrote:
> I think we do need to inject time back into this discussion, as something relevant to lived experience
"time-separable programming" vs "non-time-separable programming" perhaps?
What are the options for injecting time back in? Seems like that got
thrown out when Alonzo showed up. And monads just treat it like a bag on
the side.
Can we have time without a clock?
http://www.vs.inf.ethz.ch/publ/papers/logtime.pdf
Ross.
Received on Tue Apr 09 2013 - 10:27:55 BST