Two Kinds of Invariants: Safety and Validity by Ralf Jung: https://www.ralfj.de/blog/2018/08/22/two-kinds-of-invariants.html … #language
3:10 PM - 23 Aug 2018
0 replies
0 retweets
1 like
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.