A verified staged interpreter is a verified compiler: multi-stage programming with dependent types.  Generative Programming and Component Engineering, 5th International Conference (GPCE 2006)

Kevin Hammond, Edwin Brady, Stan Jarzabek, Douglas C. Schmidt, Todd L Veldhuizen

Research output: Contribution to conferencePaper

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

Cite this