A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)

Article URL: https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-

Comments URL: https://news.ycombinator.com/item?id=25626272

Points: 1

# Comments: 0

from Hacker News: Newest https://ift.tt/39co8JB