Awarded Paper at SBLP 2021
The 25th edition of the Brazilian Symposium on Programming Languages (SBLP) took place in virtual format from September 27 to October 1, 2021, promoted by the Brazilian Computer Society (SBC). SBLP 2021 is a forum for students, researchers, and practitioners to present and discuss ideas and innovations in the design, definition, analysis, implementation, and practical…