Safe Deferred Memory Reclamation with Types.

Ismail Kuru, Colin S. Gordon

Browse the full ESOP paper archive.