A type system for certified binaries (2002)

Cached

Download Links

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