Proceedings of the 21st LAFL Conference
(2001)
Axel Dold, Vincent Vialard (2001)
Axel Dold, Vincent Vialard "A Mechanically Verified Compiling Specification for a Lisp Compiler"