A generic abstract syntax model for embedded languages
Feldspar: A domain specific language for digital signal processing algorithms