Union, Intersection, & Refinement Types […] for Secure Protocol Implementations: http://www.sps.cs.uni-saarland.de/publications/rcf-and-or-coq-journal.pdf … (HT @psnively)
0 replies
1 retweet
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.