dependent types and higher-order logic applied in the realm of DSLs
It's time for you to meet Edwin Brady:

http://edwinb.wordpress.com/publications/

His earliest papers are about designing DSLs to solve very concrete problems. Lately, he has also been working on optimizing their performance (using type theoretic tools!).

To explore this design space, I would recommend playing with Agda or Idris.