A reflective functional language for hardware design and theorem proving. (2006)

by J Grundy, T Melham, J O’Leary
Venue:Journal of Functional Programming