Safe Deferred Memory Reclamation with Types

Kuru, Ismail, Gordon, Colin S.

number arXiv cs.PL 1811.11853, November 2018

pdf arXiv

Bibtex

@techreport{rcupapertr,
  title = {{Safe Deferred Memory Reclamation with Types}},
  author = {Kuru, Ismail and Gordon, Colin S.},
  bibtex_show = {true},
  institution = {{Computing Research Repository (Corr)}},
  number = {arXiv cs.PL 1811.11853},
  eprint = {1811.11853},
  abbr = {arXiv},
  arxiv = {https://arxiv.org/abs/1811.11853},
  month = {December},
  pdf = {papers/rcutypestr.pdf},
  year = 2018
}