An open framework for foundational proof-carrying code (2007)

by X Feng, Z Ni, Z Shao, Y Guo
Venue:In Proc. 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation