A Reflective Functional Language for Hardware Design and Theorem Proving

A Reflective Functional Language for Hardware Design and Theorem Proving

Show other versions (1)
Bibliographic Details
Main Authors: Grundy, J, Melham, T, O'Leary, J
Format: Report
Published: Programming Research Group‚ Oxford University Computing Laboratory 2003

Similar Items