A Verified Generational Garbage Collector for CakeML.

Adam Sandberg Ericsson, Magnus O. Myreen, Johannes man Pohjola

Browse the full ITP paper archive.