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 - http://www.scopus.com/inward/record.url?scp=34547487371&partnerID=8YFLogxK

U2 - 10.1145/1173706.1173724

DO - 10.1145/1173706.1173724

M3 - Paper

SP - 111

EP - 120

ER -