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 conference › Paper

Filter
Finished

Search results