Martin Hofmann, Benjamin C. Pierce. Type Destructors. Inf. Comput., 172(1):29-62, 2002. [doi]
@article{HofmannP02,
title = {Type Destructors},
author = {Martin Hofmann and Benjamin C. Pierce},
year = {2002},
url = {http://www.idealibrary.com/links/doi:10.1006/inco.2001.2926},
tags = {C++},
researchr = {https://researchr.org/publication/HofmannP02},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {172},
number = {1},
pages = {29-62},
}