See also, FLEET[1]. I'm surprised this hasn't gained more traction(or at least hype). I saw Sutherland give a talk about it in 2011/2012 or so.
[1]https://inst.eecs.berkeley.edu/~cs152/fa06/lecnotes/async.pd...
[1]https://inst.eecs.berkeley.edu/~cs152/fa06/lecnotes/async.pd...
No comments yet.