Foundational proof-carrying code. (2001)

by A Appel
Venue:In Proceedings of LICS’01,