ACM Home Page
Please provide us with feedback. Feedback
Combining functional programming and hardware verification (invited talk)
Full text PdfPdf (47 KB)
Source International Conference on Functional Programming archive
Proceedings of the fifth ACM SIGPLAN international conference on Functional programming table of contents
Page: 244  
Year of Publication: 2000
ISBN:1-58113-202-6
Also published in ...
Author
Carl Seger  Intel
Sponsor
SIGPLAN: ACM Special Interest Group on Programming Languages
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 2,   Downloads (12 Months): 18,   Citation Count: 0
Additional Information:

index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/351240.351263
What is a DOI?