Carlos Camarão, Martin Sulzmann: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018. ACM 2018, ISBN 978-1-4503-6480-5