Alan's Turing Lecture at OOPSLA