Verification of a Generational Garbage Collectorarxiv.org2 points·matt_d··0 commentsOpen articleSaveView on HN