Albert Mingkun Yang, Tobias Wrigstad. Type-assisted automatic garbage collection for lock-free data structures. In Christoph M. Kirsch, Ben L. Titzer, editors, Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, ISMM 2017, Barcelona, Spain, June 18, 2017. pages 14-24, ACM, 2017. [doi]
Abstract is missing.