A syntactic approach to foundational proof-carrying code (2002)

by Nadeem Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
Venue:In Proc. 17th Annual IEEE Symposium on Logic in Computer Science (LICS’02