Lambda the Ultimate

Hello all,

I am currently looking for good international summer schools with a focus on programming language theory and design. I'm a new PhD student, so I don't really know where to start looking other than a few recommendations from my supervisor. The best we have found so far seems to be the Oregon Programming Languages Summer School:

http://www.cs.uoregon.edu/research/summerschool/summer10/

This may be the wrong place to ask, but given the diversity of the community here I thought there may be a few academics or other PhD students who may be able to give me some pointers, at least to places where I can start looking. Is there any such thing as a directory of summer schools that anyone knows of?

A REPL can act as an end-user interface provided the language (or a DSL embedded therein) provides adequate support for the target domain.

For example, GHCi can be used as a simple calculator, and for this simple use-case a user needn't be familiar with intricacies of Haskell's type system. However, if necessary, a user can incrementally learn language features beyond that of a calculator, and code can be edited incrementally to utilize these advanced features with relative ease.

Are there any papers on visual languages or paradigms that attempt to bring this idea to GUIs? Specifically, I'm looking for a visual language which supports the creation of rich embedded domain-specific GUIs that, on the surface, behave like traditional GUIs but support powerful and incremental means of abstraction. Many, if not most, GUI applications could arguably benefit from some mechanism of abstraction, but textual interfaces are insufficient for a wide class of problems.