Yin-yang: concealing the deep embedding of DSLs
Modular domain specific languages and tools