Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings - Bois, André Rauber Du; Trinder, Phil (Springer Berlin Heidelberg : Imprint: Springer, 2013)