This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, S...