Combining functional programming and hardware verification (invited talk)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Combining functional programming and hardware verification (invited talk)

Full text

Pdf (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 Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/351240.351263 What is a DOI?