Proceedings of the 25th Brazilian Symposium on Programming Languages - Vasconcellos, Cristiano (Association for Computing Machinery, 2021)