J. Gregory Morrisett
Invited talk: what’s the future for proof-carrying code?
PPDP, 2004.
@inproceedings{PPDP-2004-Morrisett, author = "J. Gregory Morrisett", booktitle = "{Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1013963.1013966", isbn = "1-58113-819-9", pages = "5", publisher = "{ACM}", title = "{Invited talk: what’s the future for proof-carrying code?}", year = 2004, }