Special Issue: Selected Papers of the Symposium on Principles of Programming Languages 2009