@article{1453846,
      note = {International conference proceedings.},
      author = {Hanus, Michael, and Inclezan, Daniela,},
      url = {http://library.usi.edu/record/1453846},
      title = {Practical aspects of declarative languages : 25th  International Symposium, PADL 2023, Boston, MA, USA,  January 16-17, 2023 : proceedings /. PADL (Symposium)},
      abstract = {This book constitutes the proceedings of the 25th  International Symposium on Practical Aspects of Declarative  Languages, PADL 2023, which was held in Boston, MA, USA, in  January 2023. The 15 full papers and 4 short papers  presented in this volume were carefully reviewed and  selected from 36 submissions. The papers are organized in  the following topical sections: Functional Programming;  Logic Programming.},
      doi = {https://doi.org/10.1007/978-3-031-24841-2},
      recid = {1453846},
      pages = {1 online resource (xviii, 313 pages) :},
}