Report icon

Report

A Reflective Functional Language for Hardware Design and Theorem Proving

Actions


Access Document


Files:

Authors


Jim Grundy More by this author
Tom Melham More by this author
John O'Leary More by this author
Publisher:
Programming Research Group‚ Oxford University Computing Laboratory
Publication date:
2003-10-01
URN:
uuid:be969e96-91b2-482e-ae15-fba510edeb77
Local pid:
cs:4724

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP