A type system for certified binaries (0)

by Z Shao, V Trifonov, B Saha, N Papaspyrou
Venue:ACM Transactions on Programming Languages and Systems