TBC - probably SS03, Computer Laboratory


2024-06-21 14:00: Much Still to Do in Compiler Verification (A Perspective from the CakeML Project) (Magnus Myreen ( Chalmers University, Sweden))