ooh! phil wadler lectured me at glasgow.. he was always listenable but he's got funnier...