A type system for static typing of a domain-specific language.

Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede

Browse the full FPGA paper archive.