@InProceedings{feng07:ocap,
  author    =    {Xinyu Feng and Zhaozhong Ni and Zhong Shao and Yu Guo},
  title     =    {An Open Framework for Foundational Proof-Carrying Code},
  booktitle =    {Proc. 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI'07)},
  location  =    {Nice, France},
  pages     =    {67--78},
  month     =    {January},
  year      =    2007,
  publisher =    {ACM Press},
  address   =    {New York, NY, USA},
}