You are about to access our book library "Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings (Lecture Notes in Computer Science Book 12007) full version" .