Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.

Sebastian Ullrich, Leonardo de Moura

Browse the full CADE paper archive.