Adam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola. A Verified Generational Garbage Collector for CakeML. Journal of Automated Reasoning, 63(2):463-488, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.