keyword: type systems – 3 free books.
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Luis Caires (editor)
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
Programming Languages and Systems