A Verified Generational Garbage Collector for CakeML.

Adam Sandberg Ericsson Magnus O. Myreen Johannes Åman Pohjola

Published in: ITP (2017)

Keyphrases

garbage collection
information systems
xml documents