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

Paul Edward McKechnie Nathan A. Lindop Wim Vanderbauwhede A type system for static typing of a domain-specific language. 258 2008 FPGA http://doi.acm.org/10.1145/1344671.1344712 conf/fpga/2008 db/conf/fpga/fpga2008.html#McKechnieLV08