Combining functional programming and hardware verification (invited talk)

• Authors:

• Carl Seger

• Affiliations:

• Intel

• Venue:
• ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
• Year:
• 2000