A type system for certified binaries (2002)

by Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
Venue:In ACM Symposium on Principles of Programming Languages