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

Research output: Contribution to conference › Paper

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

Original language	English
Pages	111 - 120
DOIs	10.1145/1173706.1173724
State	Published - Oct 2006
Additional links	Link to publication in Scopus

Discover related content
Find related publications, people, projects and more using interactive charts.

Research at St Andrews