Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages