Compiler verification in LF (1992)

by John Hannan, Frank Pfenning
Venue:Seventh Annual IEEE Symposium on Logic in Computer Science