@misc{indiciae2d38375fa471,
  title = {Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation},
  author = {Roland Meyer and Sebastian Wolff},
  year = {2019},
  doi = {10.1145/3371136},
  url = {https://arxiv.org/abs/1910.11714},
  note = {Source identifier: 1910.11714}
}