Author Info
Name
Affiliation
Papers
JOHN O'LEARY
Intel Corporation, Strategic CAD Labs Mail Stop JF4-211, 2111 NE 25th Ave, Hillsboro, OR 97124-5961, USA (e-mail: John.W.O'Leary@intel.com)
1
Collaborators
Citations 
PageRank 
2
28
1.31
Referers 
Referees 
References 
61
38
23
Title
Citations
PageRank
Year
A reflective functional language for hardware design and theorem proving281.312006