How to prove a compiler fully abstract (cross-post) 2018-04-23 :: By: Daniel Patterson (Show comments / Powered by Disqus)