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
Sunday, January 3, 2021
A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)
from Hacker News: Newest https://ift.tt/39co8JB
0 comments:
Post a Comment