A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)
Channel: Magnus Myreen
Date: 2021-01-11

This is a presentation of the CPP'21 paper: 
A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)