A Syntactic Approach to Foundational Proof-Carrying Code.

Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni

Browse the full LICS paper archive.