Foundational proof-carrying code (2001)

by A W Appel
Venue:In LICS’01 — 16th Annual IEEE Symposium on Logic in Computer Science