Fabio Mascarenhas Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017 ACM SBLP 2017 978-1-4503-5389-2 https://doi.org/10.1145/3125374 db/conf/sblp/sblp2017.html