A Reflective Functional Language for Hardware Design and Theorem Proving (Programming Research Group‚ Oxford University Computing Laboratory, 2003)

(untitled) - Grundy, J; Melham, T; O'Leary, J