A Reflective Functional Language for Hardware Design and Theorem Proving
Jim Grundy‚ Tom Melham and John O'Leary
ISSN
0956−7968
Journal
Journal of Functional Programming
Month
March
Number
2
Pages
157–196
Volume
16
Year
2006
Jim Grundy‚ Tom Melham and John O'Leary