Adam Sandberg Ericsson

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Garbage Collection

Information Systems

Top Venues

J. Autom. Reason.

Publications

Adam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola
A Verified Generational Garbage Collector for CakeML. J. Autom. Reason. 63 (2) (2019)
Adam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola
A Verified Generational Garbage Collector for CakeML. ITP (2017)