Skip to content

Research at St Andrews

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 conferencePaper

DOI

Author(s)

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

School/Research organisations

Details

Original languageEnglish
Pages111 - 120
DOIs
StatePublished - Oct 2006

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

View graph of relations

ID: 371482