A Verified Staged Interpreter is a Verified Compiler: Multi-stage Programming with Dependent Types

E. Brady, Kevin Hammond

Research output: Contribution to conferencePaper

21 Citations (Scopus)
Original languageEnglish
Pages111--120
Publication statusPublished - 1 Oct 2006

Cite this