A type system for static typing of a domain-specific language. - Paul Edward McKechnie; Nathan A. Lindop; Wim Vanderbauwhede (FPGA, 2008)