4 ms·Language Design Meets Verifying Compilers (GPCE 2022 Keynote)1 points by matt_d 4y agomatt_d 4y agohttps://whileydave.com/publications/pea22_gpce/ https://whileydave.com/publications/pea22_gpce/