1 results
A reflective functional language for hardware design and theorem proving
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 28 October 2005, pp. 157-196
-
- Article
-
- You have access
- Export citation