Cloaca: A concurrent hardware garbage collector for non-strict functional langua