When was the last really transformational idea in programming languages?
watmough: Practical implementations of languages based on lambda calculus and graph-reduction.KRC, SASL, Miranda. Simon Peyton-Jones was a key driver of some of this work, and obviously he's still a major force behind Haskell.