Geoffrey Smith, Dennis M. Volpano. A Sound Polymorphic Type System for a Dialect of C. Science of Computer Programming, 32(1-3):49-72, 1998.
@article{SmithV98:0, title = {A Sound Polymorphic Type System for a Dialect of C}, author = {Geoffrey Smith and Dennis M. Volpano}, year = {1998}, tags = {type soundness, type system, C++}, researchr = {https://researchr.org/publication/SmithV98%3A0}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {32}, number = {1-3}, pages = {49-72}, }