Lambda the Ultimate

I have a passion for Programming Language Design; designing compilers, languages and dreaming up functional code; I just finished undergraduate studies from Purdue University (BS: Computer Engineering) and would like to pursue the above for further studies...which schools and deptt. that humble readers of LtU may know of, would you recommend? It doesn't have to be in US necessarily but that helps...just a bit more on myself; so far, I've not done anything ingenious; just followed standard compiler texts and replicated their code to understand what's going on...in this way, I've implemented compilers for very simple subsets of Java and C. There's obviously so much to do! PS: planning to start with graduate studies in Fall '10 (currently working as .NET developer with an IT Consultancy). Any help/advice greatly appreciated! LtU rocks! (and "yes", I DO know what a y-combinator is! (yay!)).

(PS: I see there is a "Course">""Graduate Programs in Program Design" Link in this blog but I am seeking a more forthcoming response; of course I will scour through all the listings in detail but where is the action happening RIGHT NOW? Which schools? Under which professors?

THANKS!

Shubham Harnal.