A Unified Theory of Garbage Collection
Teaching Garbage Collection without Implementing Compilers or Interpreters
Message Analysis Guided Allocation and Low Pause Incremental GC in a Concurrent Language