http://stackoverflow.com/questions/10784124/non-lazy-branch-...
http://anil.recoil.org/papers/2011-cufp-scribe-preprint.pdf
Mu is a great example. I wish there was more information about it publically available.
http://stackoverflow.com/questions/10784124/non-lazy-branch-...
http://anil.recoil.org/papers/2011-cufp-scribe-preprint.pdf