Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou. A type system for certified binaries. ACM Transactions on Programming Languages and Systems, 27(1):1-45, 2005. [doi]
@article{ShaoTSP05,
title = {A type system for certified binaries},
author = {Zhong Shao and Valery Trifonov and Bratin Saha and Nikolaos Papaspyrou},
year = {2005},
doi = {10.1145/1053468.1053469},
url = {http://doi.acm.org/10.1145/1053468.1053469},
tags = {type system},
researchr = {https://researchr.org/publication/ShaoTSP05},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {27},
number = {1},
pages = {1-45},
}