Journal article icon

Journal article

A Reflective Functional Language for Hardware Design and Theorem Proving

Actions


Access Document


Files:
Publisher copy:
10.1017/S0956796805005757

Authors


Jim Grundy More by this author
Tom Melham More by this author
John O'Leary More by this author
Journal:
Journal of Functional Programming
Volume:
16
Issue:
2
Pages:
157-196
Publication date:
2006-03-01
DOI:
ISSN:
0956-7968
URN:
uuid:f1ac5b6b-3c8d-4c84-985d-1138bc68151c
Local pid:
cs:4682

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