Verified Compilers for a Multi-Language World [pdf]

11 pointsby artoover 9 years ago

1 comment

artoover 9 years ago

Reddit thread: <a href="https://www.reddit.com/r/compsci/comments/3iby4e/verified_compilers_for_a_multilanguage_world_pdf/" rel="nofollow">https://www.reddit.com/r/compsci/comments/3iby4e/verified_co...</a>