You are about to access our book library "Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Lecture Notes in Computer Science) full version" .