Looks similar
Fil's Unbelievable Garbage Collector(fil-c.org)
556 points by pizlonator | 255 comments
Documentation page describing FUGC, Fil-C's parallel concurrent on-the-fly non-moving Dijkstra garbage collector for memory-safe C/C++.
Garbage Collection Without Unsafe Code(fitzgen.com)
101 points by foota | 48 comments
How the OCaml type checker works (2022)(okmij.org)
207 points by mooreds | 37 comments






