Lambda the Ultimate

Type theory, semantics, lambda calculus, functional programming (Ocaml, Haskell), verification, security, multicore, static analysis ...