A Reflective Functional Language for Hardware Design and Theorem Proving
Jim Grundy‚ Tom Melham and John O'Leary
Institution
Programming Research Group‚ Oxford University Computing Laboratory
Month
October
Number
PRG−RR−03−16
Year
2003
Jim Grundy‚ Tom Melham and John O'Leary