Benjamin Pierce gave an invited talk at LICS 2003 entitled Types and Programming Languages: The Next Generation It's quite nice. I've made it available at http://www.ccs.neu.edu/home/wand/pierce-lics2003.pdf --Mitch