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

TY - CONF

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

AU - Hammond, Kevin

AU - Brady, Edwin

AU - Jarzabek, Stan

AU - Schmidt, Douglas C.

AU - Veldhuizen, Todd L

N1 - Portland, Oregan, USA, ACM

PY - 2006/10

Y1 - 2006/10

UR - https://www.scopus.com/pages/publications/34547487371

U2 - 10.1145/1173706.1173724

DO - 10.1145/1173706.1173724

M3 - Paper

SP - 111

EP - 120

ER -