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
Citations:86 - 10 self