Proceedings of the XXIII Brazilian Symposium on Programming Languages