TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-031-24841-2
DO  - doi
AB  - 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.
T1  - Practical aspects of declarative languages :25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
AU  - Hanus, Michael,
AU  - Inclezan, Daniela,
VL  - 13880
CN  - QA76.76.C65
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 1453846
KW  - Declarative programming languages
KW  - Declarative programming
SN  - 9783031248412
SN  - 3031248414
TI  - Practical aspects of declarative languages :25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-24841-2
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-24841-2
ER  -