A generic abstract syntax model for embedded languages
Expressive array constructs in an embedded GPU kernel programming language