DMCA

A Reflective Functional Language for Hardware Design and Theorem Proving

by Jim Grundy , Tom Melham , John O’Leary
Citations:33 - 7 self