Toggle navigation
15-811: Verifying Complex Systems
Home
Syllabus
Schedule
Tools
Assignments
Projects
17sp
Lecture: Compilers: CakeML
Date: 3/06/17
Reading
Required reading:
CakeML: A Verified Implementation of ML
, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens,
POPL
, 2014.