Programming Languages and Systems - Caires, Luís (Springer International Publishing, 2020)