RT @johnregehr: “wtf does C code mean in practice” would have been a reasonable alternate title for this latest draft by Peter Sewell et al.
https://www.cl.cam.ac.uk/~pes20/cerberus/top-Cerberus-draft.pdf …
8:28 PM - 29 Oct 2018
from Saint-Mandé, France
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.