Lambda the Ultimate

Hello all!

I am thinking of writing a research article on typesafe DSLs in Java-like languages. My first (informal) post is available here. I have one more case study in the works, which shows a bit different aspects of typesafe DSLs. Do you know of similar research done for Java-like languages and what conference/journal would you suggest for publication?

Jevgeni Kabanov