4 ms·

Verified Compilers for a Multi-Language World [pdf]

• arto 11y ago
  Reddit thread: https://www.reddit.com/r/compsci/comments/3iby4e/verified_compilers_for_a_multilanguage_world_pdf/ https://www.reddit.com/r/compsci/comments/3iby4e/verified_co...