A type system for certified binaries (2002)

by Z Shao, B Saha, V Trifonov
Venue:In Proc. 29th ACM Symposium on Principles of Programming Languages