Lambda the Ultimate

Programming Languages - Duh
Specifically, I'm interested in how the problems of the web can be solved by programming languages. What will happen after html? Will we just keep trying to tack on functionality to it, or will we find a new path? Distributed computing on the internet scale, mashups, security, etc.