Foundational proof-carrying code (2001)

by A W Appel
Venue:In Proc. 16th Annual IEEE Symposium on Logic in Computer Science