Type-based safe resource deallocation for shared-memory concurrency.

Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi

Browse the full OOPSLA paper archive.