Functional pearl: a SQL to C compiler in 500 lines of code
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging