Practical aspects of declarative languages 25th international symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings - Hanus, Michael 1959-; Inclezan, Daniela (Springer, 2023)