Types and hardware description languages (2007)

by Tim Sheard
Venue:In Proceedings of the Hardware design and Functional Languages workshop