I am a senior undergraduate student, and a firm (moral) supporter of Haskell, and am on the lookout for exciting places to do graduate research. The areas of programming language design & implementation, and of course the declarative paradigm, are of most interest. Would anyone be able to suggest a few places? Mike