How to prove a compiler correct (cross-post) 2018-01-17 :: By: Daniel Patterson (Show comments / Powered by Disqus)