Programming Languages and Systems Lecture Notes in Computer Science Lecture Notes in Computer Science-Programming Languages and Systems Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings Programming Languages and Systems ISBN: 9783030449131 ESOP