J. Gregory Morrisett. Invited talk: what s the future for proof-carrying code?. In Nevin Heintze, Peter Sestoft, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. pages 203, ACM, 2004. [doi]
@inproceedings{Morrisett04:0, title = {Invited talk: what s the future for proof-carrying code?}, author = {J. Gregory Morrisett}, year = {2004}, doi = {10.1145/1014007.1014029}, url = {http://doi.acm.org/10.1145/1014007.1014029}, researchr = {https://researchr.org/publication/Morrisett04%3A0}, cites = {0}, citedby = {0}, pages = {203}, booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004}, editor = {Nevin Heintze and Peter Sestoft}, publisher = {ACM}, isbn = {1-58113-835-0}, }