Report icon

Report

A Reflective Functional Language for Hardware Design and Theorem Proving

Actions


Access Document


Files:

Authors


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


Views and Downloads






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

TO TOP