Jim Grundy, Thomas F. Melham, John W. O Leary. A reflective functional language for hardware design and theorem proving. Journal of Functional Programming, 16(2):157-196, 2006. [doi]
@article{GrundyMO06,
title = {A reflective functional language for hardware design and theorem proving},
author = {Jim Grundy and Thomas F. Melham and John W. O Leary},
year = {2006},
doi = {10.1017/S0956796805005757},
url = {http://dx.doi.org/10.1017/S0956796805005757},
tags = {language design, design},
researchr = {https://researchr.org/publication/GrundyMO06},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {16},
number = {2},
pages = {157-196},
}