Lambda the Ultimate

I am interested in various language features and
programming paradigms (functional, logical, object-oriented,
multithreaded) --- how they relate to each other and how they can be combined. One such relation involves program transformations that implement them. Indeed, abstractions appropriate for defining program transformations comprise important language features. I am interested in modular representations of languages (by feature) and in
encapsulation constructs that aid in the static analysis of programs.