[PLDI24] Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)

ACM SIGPLAN - [PLDI24] Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)