Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings - Hanus, Michael; Inclezan, Daniela (Cham Springer, 2023)