Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings - Castor, Fernando; Liu, Yu David (Springer International Publishing : Imprint: Springer, 2016)