Garbage collection, like tail call optimization, is a mere implementation detail. Any self-respecting Turing Machine has an unbounded storage tape. It quite like civilization's answer to nuclear waste. Just bury it, mark off that section of land, and move onto the next!
