John Hannan, Frank Pfenning. Compiler Verification in LF. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 407-418, IEEE Computer Society, 1992.
@inproceedings{PfenningH92, title = {Compiler Verification in LF}, author = {John Hannan and Frank Pfenning}, year = {1992}, tags = {compiler}, researchr = {https://researchr.org/publication/PfenningH92}, cites = {0}, citedby = {0}, pages = {407-418}, booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA}, publisher = {IEEE Computer Society}, }