This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SB...