What Type Soundness Theorem Do You Really Want to Prove? by Derek Dreyer, Amin Timany, Robbert Krebbers, Lars Birkedal, and Ralf Jung: https://blog.sigplan.org/2019/10/17/what-type-soundness-theorem-do-you-really-want-to-prove/ … #compsci
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.